Search results for "Decidability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Sándor Vágvölgyi	Some decidability results on one-pass reductions.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
14	Maurice Margenstern	A Decidability Result for the Halting of Cellular Automata on the Pentagrid.	Complex Syst.	2019	DBLP DOI BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca	On the dynamical behaviour of linear higher-order cellular automata and its decidability.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
14	Guillaume Bonfante, Florian L. Deloup	Decidability of regular language genus computation.	Math. Struct. Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	David Monniaux	On the decidability of the existence of polyhedral invariants in transition systems.	Acta Informatica	2019	DBLP DOI BibTeX RDF
14	Johann A. Makowsky	Can one design a geometry engine? - On the (un)decidability of certain affine Euclidean geometries.	Ann. Math. Artif. Intell.	2019	DBLP DOI BibTeX RDF
14	Xiang Yin 0003, Stéphane Lafortune	Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".	IEEE Trans. Autom. Control.	2019	DBLP DOI BibTeX RDF
14	Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001	On the Decidability of Membership in Matrix-exponential Semigroups.	J. ACM	2019	DBLP DOI BibTeX RDF
14	Aaron Chen, Florian Frick, Anne Shiu	Neural Codes, Decidability, and a New Local Obstruction to Convexity.	SIAM J. Appl. Algebra Geom.	2019	DBLP DOI BibTeX RDF
14	Mitko Yanchev	Decidability of an Expressive Description Logic with Rational Grading.	CoRR	2019	DBLP BibTeX RDF
14	Florian Frohn, Marcel Hark, Jürgen Giesl	On the Decidability of Termination for Polynomial Loops.	CoRR	2019	DBLP BibTeX RDF
14		Abstract categorial grammars with island constraints and effective decidability.	CoRR	2019	DBLP BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca	On the dynamical behaviour of linear higher-order cellular automata and its decidability.	CoRR	2019	DBLP BibTeX RDF
14	Tim Lyon, Kees van Berkel 0002	Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.	CoRR	2019	DBLP BibTeX RDF
14	Jun Liu	Robust Decidability of Sampled-Data Control of Nonlinear Systems with Temporal Logic Specifications.	CoRR	2019	DBLP BibTeX RDF
14	Volker Diekert, Igor Potapov, Pavel Semukhin	Decidability of membership problems for flat rational subsets of GL(2, Q) and singular matrices.	CoRR	2019	DBLP BibTeX RDF
14	Petra Wolf 0002	From Decidability to Undecidability by Considering Regular Sets of Instances.	CoRR	2019	DBLP BibTeX RDF
14	Paul C. Bell, Igor Potapov, Pavel Semukhin	Decidability of the Mortality Problem: from multiplicative matrix equations to linear recurrence sequences and beyond.	CoRR	2019	DBLP BibTeX RDF
14	Jarkko Kari, Etienne Moutot	Decidability and Periodicity of Low Complexity Tilings.	CoRR	2019	DBLP BibTeX RDF
14	Joshua Brakensiek, Venkatesan Guruswami	Symmetric Polymorphisms and Efficient Decidability of Promise CSPs.	CoRR	2019	DBLP BibTeX RDF
14	Ziba Assadi, Saeed Salehi	On decidability and axiomatizability of some ordered structures.	Soft Comput.	2019	DBLP DOI BibTeX RDF
14	Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak	The logical strength of Büchi's decidability theorem.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Simon Beier, Markus Holzer 0001, Martin Kutrib	Operational State Complexity and Decidability of Jumping Finite Automata.	Int. J. Found. Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Lorna Gregory, Sonia L'Innocente, Carlo Toffalori	Decidability of the theory of modules over Prüfer domains with dense value groups.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
14	Makoto Hamana	How to prove decidability of equational theories with second-order computation analyser SOL.	J. Funct. Program.	2019	DBLP DOI BibTeX RDF
14	Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala, Guido Sciavicco	Decidability and complexity of the fragments of the modal logic of Allen's relations over the rationals.	Inf. Comput.	2019	DBLP DOI BibTeX RDF
14	Adrien Koutsos	Decidability of a Sound Set of Inference Rules for Computational Indistinguishability.	CSF	2019	DBLP DOI BibTeX RDF
14	Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001	On the decidability of reachability in linear time-invariant systems.	HSCC	2019	DBLP DOI BibTeX RDF
14	Ruggero Lanotte, Massimo Merro, Fabio Mogavero	On the decidability of linear bounded periodic cyber-physical systems.	HSCC	2019	DBLP DOI BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Luciano Margara, Antonio E. Porreca	Decidability of Sensitivity and Equicontinuity for Linear Higher-Order Cellular Automata.	LATA	2019	DBLP DOI BibTeX RDF
14	Petra Wolf 0002	On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances.	DCFS	2019	DBLP DOI BibTeX RDF
14	Giovanni Pighizzini, Luca Prigioniero	Pushdown Automata and Constant Height: Decidability and Bounds.	DCFS	2019	DBLP DOI BibTeX RDF
14	Yo-Sub Han, Sang-Ki Ko, Kai Salomaa	Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity.	DCFS	2019	DBLP DOI BibTeX RDF
14	Mircea Marin, Temur Kutsia, Besik Dundua	A Rule-based Approach to the Decidability of Safety of ABACα.	SACMAT	2019	DBLP DOI BibTeX RDF
14	Giovanni Pighizzini, Luca Prigioniero	Pushdown Automata Accepting in Constant Height: Decidability and Height Bounds - Extended Abstract.	ICTCS	2019	DBLP BibTeX RDF
14	Sergey M. Dudakov, Boris Karlov	On Decidability of Regular Languages Theories.	CSR	2019	DBLP DOI BibTeX RDF
14	Tim Lyon, Kees van Berkel 0002	Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics.	PRIMA	2019	DBLP DOI BibTeX RDF
14	Astrid Belder, Bas Luttik, Jos C. M. Baeten	Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity.	CALCO	2019	DBLP DOI BibTeX RDF
14	Jean Christoph Jung, Carsten Lutz, Thomas Zeume	Decidability and Complexity of ALCOIF with Transitive Closure (and More).	Description Logics	2019	DBLP BibTeX RDF
14	Jakub Michaliszyn, Piotr Witkowski 0001	Decidability of Model Checking Multi-Agent Systems with Regular Expressions against Epistemic HS Specifications.	IJCAI	2019	DBLP DOI BibTeX RDF
14	Sabine Bauer 0002	Decidability of linear tree constraints for resource analysis of object-oriented programs.		2019	RDF
14	Andreas Abel 0001, Joakim Öhman, Andrea Vezzosi	Decidability of conversion for type theory in type theory.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
14	Wolfgang Thomas	Ehrenfeucht, Vaught, and the decidability of the weak monadic theory of successor.	ACM SIGLOG News	2018	DBLP DOI BibTeX RDF
14	Gerhard Jäger, Timotej Rosebrock, Sato Kentaro	Truncation and Semi-Decidability Notions in Applicative Theories.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
14	Lorna Gregory, Sonia L'Innocente, Gennadi Puninski, Carlo Toffalori	Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields.	J. Symb. Log.	2018	DBLP DOI BibTeX RDF
14	Katsumasa Ishii	A note on decidability of variables in intuitionistic propositional logic.	Math. Log. Q.	2018	DBLP DOI BibTeX RDF
14	Sam A. M. Jones, Richard M. Thomas	Word problems of groups: Formal languages, characterizations and decidability.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	João Araújo 0002, Michael K. Kinyon, Janusz Konieczny, António Malheiro	Decidability and independence of conjugacy problems in finitely presented monoids.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	On the boundary between decidability and undecidability of asynchronous session subtyping.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra, Ian McQuillan	Variations of checking stack automata: Obtaining unexpected decidability properties.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Chao Wang 0069, Yi Lv, Peng Wu 0002	Decidability of linearizabilities for relaxed data structures.	Sci. China Inf. Sci.	2018	DBLP DOI BibTeX RDF
14	Marilena Vendittelli, Jean-Paul Laumond, Bud Mishra	Decidability in Robot Manipulation Planning.	CoRR	2018	DBLP BibTeX RDF
14	Fabien Durand, Valérie Goyheneche	Decidability, arithmetic subsequences and eigenvalues of morphic subshifts.	CoRR	2018	DBLP BibTeX RDF
14	Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001	Bundled fragments of first-order modal logic: (un)decidability.	CoRR	2018	DBLP BibTeX RDF
14	Fabien Durand, Julien Leroy 0002	Decidability of the isomorphism and the factorization between minimal substitution subshifts.	CoRR	2018	DBLP BibTeX RDF
14	Raphaël Berthon, Bastien Maubert, Aniello Murano	Decidability results for ATL* with imperfect information and perfect recall.	CoRR	2018	DBLP BibTeX RDF
14	Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001	On the Decidability of Reachability in Linear Time-Invariant Systems.	CoRR	2018	DBLP BibTeX RDF
14	Daisuke Kimura, Makoto Tatsuta	Decidability for Entailments of Symbolic Heaps with Arrays.	CoRR	2018	DBLP BibTeX RDF
14	Alexis Bès, Christian Choffrut	Complexity and (un)decidability of fragments of 〈 ωωλ; × 〉.	CoRR	2018	DBLP BibTeX RDF
14	Aaron Chen, Florian Frick, Anne Shiu	Neural codes, decidability, and a new local obstruction to convexity.	CoRR	2018	DBLP BibTeX RDF
14	Joel D. Day, Vijay Ganesh, Paul He, Florin Manea, Dirk Nowotka	The Satisfiability of Extended Word Equations: The Boundary Between Decidability and Undecidability.	CoRR	2018	DBLP BibTeX RDF
14	Alexis Bès, Christian Choffrut	Decidability of the existential fragment of some infinitely generated trace monoids: an application to ordinals.	CoRR	2018	DBLP BibTeX RDF
14	Lorenzo Clemente	Decidability of Timed Communicating Automata.	CoRR	2018	DBLP BibTeX RDF
14	Maurice Margenstern	A decidability result for the halting problem of cellular automata in the pentagrid.	CoRR	2018	DBLP BibTeX RDF
14	Kim G. Larsen, Radu Mardare, Bingtian Xue	On decidability of recursive weighted logics.	Soft Comput.	2018	DBLP DOI BibTeX RDF
14	Linda Lawton	Decidability of the AE-theory of the lattice of Π10 classes.	Arch. Math. Log.	2018	DBLP DOI BibTeX RDF
14	Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes	Multi-buffer simulations: Decidability and complexity.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
14	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	On the complexity and decidability of some problems involving shuffle.	Inf. Comput.	2018	DBLP DOI BibTeX RDF
14	Robin Hirsch	Decidability of Equational Theories for Subsignatures of Relation Algebra.	RAMiCS	2018	DBLP DOI BibTeX RDF
14	Amir Nayyeri, Hanzhong Xu	On the Decidability of the Fréchet Distance between Surfaces.	SODA	2018	DBLP DOI BibTeX RDF
14	Damien Pous, Valeria Vignudelli	Allegories: decidability and graph homomorphisms.	LICS	2018	DBLP DOI BibTeX RDF
14	Lingtai Wang, Naijun Zhan	Decidability of the Initial-State Opacity of Real-Time Automata.	Symposium on Real-Time and Hybrid Systems	2018	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher	Cellular Automata: Descriptional Complexity and Decidability.	Reversibility and Universality	2018	DBLP DOI BibTeX RDF
14	Simon Beier, Markus Holzer 0001	Decidability of Right One-Way Jumping Finite Automata.	DLT	2018	DBLP DOI BibTeX RDF
14	Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos	Modularity for decidability of deductive verification with applications to distributed systems.	PLDI	2018	DBLP DOI BibTeX RDF
14	Zhe Lin 0002, Mihir Kumar Chakraborty, Minghui Ma	Decidability in Pre-rough Algebras: Extended Abstract.	IJCSR	2018	DBLP DOI BibTeX RDF
14	Christian Doczkal, Joachim Bard	Completeness and decidability of converse PDL in the constructive type theory of Coq.	CPP	2018	DBLP DOI BibTeX RDF
14	Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron	Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.	KR	2018	DBLP BibTeX RDF
14	Lidia Tendera	Decidability Frontier for Fragments of First-Order Logic with Transitivity.	Description Logics	2018	DBLP BibTeX RDF
14	Faried Abu Zaid, Chris Köcher	The Cayley-Graph of the Queue Monoid: Logic and Decidability.	FSTTCS	2018	DBLP DOI BibTeX RDF
14	Anantha Padmanabha, R. Ramanujam 0001, Yanjing Wang 0001	Bundled Fragments of First-Order Modal Logic: (Un)Decidability.	FSTTCS	2018	DBLP DOI BibTeX RDF
14	Yegor Guskov	Decidability of finite satisfiability of two-variable first-order logic with counting and local navigation in unordered unranked trees.		2018	RDF
14	James S. Barnes	On the Decidability of the Σ2 Theories of the Arithmetic and Hyperarithmetic Degrees as Uppersemilattices.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
14	Itay Kaplan, Saharon Shelah	Decidability and Classification of the Theory of Integers with Primes.	J. Symb. Log.	2017	DBLP DOI BibTeX RDF
14	Franz Baader, Stefan Borgwardt, Rafael Peñaloza	Decidability and Complexity of Fuzzy Description Logics.	Künstliche Intell.	2017	DBLP DOI BibTeX RDF
14	Rada Chirkova, Ting Yu 0001	Exact Detection of Information Leakage: Decidability and Complexity.	Trans. Large Scale Data Knowl. Centered Syst.	2017	DBLP DOI BibTeX RDF
14	Wlodzimierz Moczurad	Decidability of multiset, set and numerically decipherable directed figure codes.	Discret. Math. Theor. Comput. Sci.	2017	DBLP DOI BibTeX RDF
14	Francesco Alberti, Silvio Ghilardi, Elena Pagani	Cardinality constraints for arrays (decidability results and applications).	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
14	Xiang Yin 0003, Stéphane Lafortune	On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.	IEEE Trans. Autom. Control.	2017	DBLP DOI BibTeX RDF
14	Yin Tong, Zhiwu Li 0001, Carla Seatzu, Alessandro Giua	Decidability of opacity verification problems in labeled Petri net systems.	Autom.	2017	DBLP DOI BibTeX RDF
14	Aldo Antonelli	Completeness and Decidability of General First-Order Logic (with a Detour Through the Guarded Fragment).	J. Philos. Log.	2017	DBLP DOI BibTeX RDF
14	Pierre Fraigniaud, Andrzej Pelc	Decidability classes for mobile agents computing.	J. Parallel Distributed Comput.	2017	DBLP DOI BibTeX RDF
14	Ville Salo	Decidability and universality of quasiminimal subshifts.	J. Comput. Syst. Sci.	2017	DBLP DOI BibTeX RDF
14	Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Jonas Rogger	Decidability of order-based modal logics.	J. Comput. Syst. Sci.	2017	DBLP DOI BibTeX RDF
14	Nathalie Bertrand 0001, Blaise Genest, Hugo Gimbert	Qualitative Determinacy and Decidability of Stochastic Games with Signals.	J. ACM	2017	DBLP DOI BibTeX RDF
14	Johann A. Makowsky	Can one design a geometry engine? On the (un)decidability of affine Euclidean geometries.	CoRR	2017	DBLP BibTeX RDF
14	Pascal Caron, Ludovic Mignot, Clément Miklarz	On the decidability of $k$-Block determinism.	CoRR	2017	DBLP BibTeX RDF
14	Oscar H. Ibarra, Ian McQuillan	Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.	CoRR	2017	DBLP BibTeX RDF
14	David Monniaux	On the decidability of the existence of polyhedral invariants in transition systems.	CoRR	2017	DBLP BibTeX RDF
14	Andreas Teucke, Christoph Weidenbach	Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.	CoRR	2017	DBLP BibTeX RDF