Search results for "decidability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Ziba Assadi, Saeed Salehi	On the Decidability of the Ordered Structures of Numbers.	CoRR	2017	DBLP BibTeX RDF
14	Laurent Bartholdi	Decidability problems in automaton semigroups.	CoRR	2017	DBLP BibTeX RDF
14	Simon Halfon, Philippe Schnoebelen, Georg Zetzsche	Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering.	CoRR	2017	DBLP BibTeX RDF
14	Sonia L'Innocente, Carlo Toffalori, Gennadi Puninski	On the decidability of the theory of modules over the ring of algebraic integers.	Ann. Pure Appl. Log.	2017	DBLP DOI BibTeX RDF
14	Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani	Intruder deducibility constraints with negation. Decidability and application to secured service compositions.	J. Symb. Comput.	2017	DBLP DOI BibTeX RDF
14	Lukás Vokrínek	Decidability of the Extension Problem for Maps into Odd-Dimensional Spheres.	Discret. Comput. Geom.	2017	DBLP DOI BibTeX RDF
14	Luka Mikec, Tin Perkov, Mladen Vukovic	Decidability of interpretability logics ILM0 and ILW.	Log. J. IGPL	2017	DBLP DOI BibTeX RDF
14	Brijesh Dongol, Robert M. Hierons	Decidability and complexity for quiescent consistency and its variations.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
14	Yan Gerard	About the Decidability of Polyhedral Separability in the Lattice ℤd - Recognizing Digital Polyhedra with a Prescribed Number of Faces.	J. Math. Imaging Vis.	2017	DBLP DOI BibTeX RDF
14	Robin Whitty	Decidability and the Entscheidungsproblem.	The Turing Guide	2017	DBLP BibTeX RDF
14	Krzysztof R. Apt, Dominik Wojtczak	Decidability of Fair Termination of Gossip Protocols.	LPAR (Short Presentations)	2017	DBLP DOI BibTeX RDF
14	Igor Potapov, Pavel Semukhin	Decidability of the Membership Problem for 2 × 2 integer matrices.	SODA	2017	DBLP DOI BibTeX RDF
14	Franz Baader, Oliver Fernandez Gil	Decidability and complexity of threshold description logics induced by concept similarity measures.	SAC	2017	DBLP DOI BibTeX RDF
14	Simon Halfon, Philippe Schnoebelen, Georg Zetzsche	Decidability, complexity, and expressiveness of first-order logic over the subword ordering.	LICS	2017	DBLP DOI BibTeX RDF
14	Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001	On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas.	TAMC	2017	DBLP DOI BibTeX RDF
14	Houssam Abbas, Matthew O'Kelly, Rahul Mangharam	Relaxed Decidability and the Robust Semantics of Metric Temporal Logic.	HSCC	2017	DBLP DOI BibTeX RDF
14	Xinxin Liu	Negative Results on Decidability and Small Model Property of Process Equations.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
14	Simon Beier, Markus Holzer 0001, Martin Kutrib	Operational State Complexity and Decidability of Jumping Finite Automata.	DLT	2017	DBLP DOI BibTeX RDF
14	Michal Skrzypczak	Connecting Decidability and Complexity for MSO Logic.	DLT	2017	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra, Ian McQuillan	Variations of Checking Stack Automata: Obtaining Unexpected Decidability Properties.	DLT	2017	DBLP DOI BibTeX RDF
14	Andreas Malcher	Decidability questions for insertion systems.	NCMA	2017	DBLP BibTeX RDF
14	Andreas Teucke, Christoph Weidenbach	Decidability of the Monadic Shallow Linear First-Order Fragment with Straight Dismatching Constraints.	CADE	2017	DBLP DOI BibTeX RDF
14	Jeremy E. Dawson, Rajeev Goré	Issues in Machine-Checking the Decidability of Implicational Ticket Entailment.	TABLEAUX	2017	DBLP DOI BibTeX RDF
14	Katalin Bimbó	On the Decidability of Certain Semi-Lattice Based Modal Logics.	TABLEAUX	2017	DBLP DOI BibTeX RDF
14	Paul Brunet, Damien Pous, Georg Struth	On Decidability of Concurrent Kleene Algebra.	CONCUR	2017	DBLP DOI BibTeX RDF
14	Francesco Belardinelli, Andreas Herzig	Dynamic Logic for Data-aware Systems: Decidability Results.	IJCAI	2017	DBLP DOI BibTeX RDF
14	Raphaël Berthon, Bastien Maubert, Aniello Murano	Decidability Results for ATL* with Imperfect Information and Perfect Recall.	AAMAS	2017	DBLP BibTeX RDF
14	Othmane Rezine	Verification of networks of communicating processes: Reachability problems and decidability issues.		2017	RDF
14	Joao Moreira de Sousa Pinto	Decidability boundaries in linear dynamical systems.		2017	RDF
14	Lhouari Nourine, Ramy Ragab Hassen, Farouk Toumani	Decidability and Complexity of Web Service Business Protocol Synthesis.	Int. J. Cooperative Inf. Syst.	2016	DBLP DOI BibTeX RDF
14	Arnaud Carayol, Olivier Serre	Marking shortest paths on pushdown graphs does not preserve MSO decidability.	Inf. Process. Lett.	2016	DBLP DOI BibTeX RDF
14	Inna Mikhaylova	A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups.	Discret. Math. Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Jouke Witteveen, Leen Torenvliet	Fixed-parameter decidability: Extending parameterized complexity analysis.	Math. Log. Q.	2016	DBLP DOI BibTeX RDF
14	Jannik Dreier, Cristian Ene, Pascal Lafourcade 0001, Yassine Lakhnech	On the existence and decidability of unique decompositions of processes in the applied π-calculus.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Paul C. Bell, Shang Chen, Lisa M. Jackson	On the decidability and complexity of problems for restricted hierarchical hybrid systems.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
14	Rada Chirkova	Combined-semantics equivalence of conjunctive queries: Decidability and tractability results.	J. Comput. Syst. Sci.	2016	DBLP DOI BibTeX RDF
14	Badih Ghazi, Pritish Kamath, Madhu Sudan 0001	Decidability of Non-Interactive Simulation of Joint Distributions.	Electron. Colloquium Comput. Complex.	2016	DBLP BibTeX RDF
14	Gilles Dowek, Ying Jiang	Decidability, Introduction Rules and Automata.	CoRR	2016	DBLP BibTeX RDF
14	Igor Potapov, Pavel Semukhin	Decidability of the Membership Problem for 2×2 integer matrices.	CoRR	2016	DBLP BibTeX RDF
14	Joey Eremondi, Oscar H. Ibarra, Ian McQuillan	On the Complexity and Decidability of Some Problems Involving Shuffle.	CoRR	2016	DBLP BibTeX RDF
14	Wlodzimierz Moczurad	Decidability of multiset, set and numerically decipherable directed figure codes.	CoRR	2016	DBLP BibTeX RDF
14	Badih Ghazi, Pritish Kamath, Madhu Sudan 0001	Decidability of Non-Interactive Simulation of Joint Distributions.	CoRR	2016	DBLP BibTeX RDF
14	Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak	The logical strength of Büchi's decidability theorem.	CoRR	2016	DBLP BibTeX RDF
14	Werner Damm, Matthias Horbach, Viorica Sofronie-Stokkermans	Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.	CoRR	2016	DBLP BibTeX RDF
14	Revantha Ramanayake	A purely syntactic proof of decidability for BI.	CoRR	2016	DBLP BibTeX RDF
14	Amir M. Ben-Amram, Aviad Pineles	Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate.	VPT@ETAPS	2016	DBLP DOI BibTeX RDF
14	Romain Brenguier, Vojtech Forejt	Decidability Results for Multi-objective Stochastic Games.	CoRR	2016	DBLP BibTeX RDF
14	Hans Kleine Büning, Piotr Wojciechowski 0002, K. Subramani 0001	On the computational complexity of read once resolution decidability in 2CNF formulas.	CoRR	2016	DBLP BibTeX RDF
14	Jennifer L. Welch	Distributed Computing Column 62: Decidability in Parameterized Verification.	SIGACT News	2016	DBLP DOI BibTeX RDF
14	Roderick Bloem, Swen Jacobs, Ayrat Khalimov 0001, Igor Konnov 0001, Sasha Rubin, Helmut Veith, Josef Widder	Decidability in Parameterized Verification.	SIGACT News	2016	DBLP DOI BibTeX RDF
14	Christian Doczkal, Gert Smolka	Completeness and Decidability Results for CTL in Constructive Type Theory.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
14	Peter Franek, Stefan Ratschan, Piotr Zgliczynski	Quasi-decidability of a Fragment of the First-Order Theory of Real Numbers.	J. Autom. Reason.	2016	DBLP DOI BibTeX RDF
14	Oscar H. Ibarra	On decidability and closure properties of language classes with respect to bio-operations.	Nat. Comput.	2016	DBLP DOI BibTeX RDF
14	Da-Jung Cho, Yo-Sub Han, Shin-Dong Kang, Hwee Kim, Sang-Ki Ko, Kai Salomaa	Pseudo-inversion: closure properties and decidability.	Nat. Comput.	2016	DBLP DOI BibTeX RDF
14	Georg Gottlob, Marco Manna, Andreas Pieris	Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
14	Sérgio Marcelino, Carlos Caleiro	Decidability and complexity of fibred logics without shared connectives.	Log. J. IGPL	2016	DBLP DOI BibTeX RDF
14	Fu Song, Zhilin Wu	On temporal logics with data variable quantifications: Decidability and complexity.	Inf. Comput.	2016	DBLP DOI BibTeX RDF
14	P. V. Rajkumar, Ravi S. Sandhu	Safety Decidability for Pre-Authorization Usage Control with Finite Attribute Domains.	IEEE Trans. Dependable Secur. Comput.	2016	DBLP DOI BibTeX RDF
14	Michal Skrzypczak	Descriptive Set Theoretic Methods in Automata Theory - Decidability and Topological Complexity		2016	DOI RDF
14	Alexandra Shlapentokh	Extensions of Hilbert's Tenth Problem: Definability and Decidability in Number Theory.	Martin Davis on Computability, Computational Logic, and Mathematical Foundations	2016	DBLP DOI BibTeX RDF
14	Slawomir Lasota 0001	Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture.	Petri Nets	2016	DBLP DOI BibTeX RDF
14	Leszek Aleksander Kolodziejczyk, Henryk Michalewski	How unprovable is Rabin's decidability theorem?	LICS	2016	DBLP DOI BibTeX RDF
14	Brijesh Dongol, Robert M. Hierons	Decidability and Complexity for Quiescent Consistency.	LICS	2016	DBLP DOI BibTeX RDF
14	Badih Ghazi, Pritish Kamath, Madhu Sudan 0001	Decidability of Non-interactive Simulation of Joint Distributions.	FOCS	2016	DBLP DOI BibTeX RDF
14	Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, Mooly Sagiv	Decidability of inferring inductive invariants.	POPL	2016	DBLP DOI BibTeX RDF
14	Romain Brenguier, Vojtech Forejt	Decidability Results for Multi-objective Stochastic Games.	ATVA	2016	DBLP DOI BibTeX RDF
14	Juha Kontinen, Antti Kuusisto, Jonni Virtema	Decidability of Predicate Logics with Team Semantics.	MFCS	2016	DBLP DOI BibTeX RDF
14	Ashwin Deshpande, Leslie Pack Kaelbling, Tomás Lozano-Pérez	Decidability of Semi-Holonomic Prehensile Task and Motion Planning.	WAFR	2016	DBLP DOI BibTeX RDF
14	Laurent Bartholdi	Algorithmic Decidability of Engel's Property for Automaton Groups.	CSR	2016	DBLP DOI BibTeX RDF
14	Krzysztof R. Apt, Dominik Wojtczak	On Decidability of a Logic of Gossips.	JELIA	2016	DBLP DOI BibTeX RDF
14	Joseph Boudou, Emiliano Lorini	Decidability and Expressivity of Ockhamist Propositional Dynamic Logics.	JELIA	2016	DBLP DOI BibTeX RDF
14	Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka	Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability.	CMSB	2016	DBLP DOI BibTeX RDF
14	Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak	The Logical Strength of Büchi's Decidability Theorem.	CSL	2016	DBLP DOI BibTeX RDF
14	Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov	On Decidability and Tractability of Querying in Temporal EL.	Description Logics	2016	DBLP BibTeX RDF
14	Kim G. Larsen, Radu Mardare, Bingtian Xue	Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.	FSTTCS	2016	DBLP DOI BibTeX RDF
14	Xuan Bach Le, Aquinas Hobor, Anthony W. Lin	Decidability and Complexity of Tree Share Formulas.	FSTTCS	2016	DBLP DOI BibTeX RDF
14	Swan Rocher	Querying Existential Rule Knowledge Bases: Decidability and Complexity. (Interrogation de Bases de Connaissances avec Règles Existentielles : Décidabilité et Complexité).		2016	RDF
14	Cristian S. Calude, Damien Desfontaines	Universality and Almost Decidability.	Fundam. Informaticae	2015	DBLP DOI BibTeX RDF
14	Kim G. Larsen, Radu Mardare, Bingtian Xue	Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.	MFPS	2015	DBLP DOI BibTeX RDF
14	Lorna Gregory	Decidability for Theories of Modules over Valuation Domains.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
14	Jakub Michaliszyn, Jan Otop, Emanuel Kieronski	On the Decidability of Elementary Modal Logics.	ACM Trans. Comput. Log.	2015	DBLP DOI BibTeX RDF
14	Martín Escardó	Constructive decidability of classical continuity.	Math. Struct. Comput. Sci.	2015	DBLP DOI BibTeX RDF
14	Stefan Borgwardt, Felix Distel, Rafael Peñaloza	The limits of decidability in fuzzy description logics with general concept inclusions.	Artif. Intell.	2015	DBLP DOI BibTeX RDF
14	Hsing-chien Tsai	On the Decidability of Axiomatized Mereotopological Theories.	Notre Dame J. Formal Log.	2015	DBLP DOI BibTeX RDF
14	Katalin Bimbó	The decidability of the intensional fragment of classical linear logic.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt	Deterministic input-driven queue automata: Finite turns, decidability, and closure properties.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
14	Franz Baader, Stefan Borgwardt, Rafael Peñaloza	On the Decidability Status of Fuzzy ALC with General Concept Inclusions.	J. Philos. Log.	2015	DBLP DOI BibTeX RDF
14	Yan Zhang, Kai Li	Decidability of Logics Based on an Indeterministic Metric Tense Logic.	Stud Logica	2015	DBLP DOI BibTeX RDF
14	Ventsislav Chonev, Joël Ouaknine, James Worrell 0001	On the Decidability of the Bounded Continuous Skolem Problem.	CoRR	2015	DBLP BibTeX RDF
14	Lvzhou Li, Yuan Feng	Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties.	CoRR	2015	DBLP BibTeX RDF
14	Prateek Karandikar, Philippe Schnoebelen	Decidability in the logic of subsequences and supersequences.	CoRR	2015	DBLP BibTeX RDF
14	Laurent Bartholdi	Algorithmic decidability of Engel's property for automaton groups.	CoRR	2015	DBLP BibTeX RDF
14	Brijesh Dongol, Robert M. Hierons	Decidability and Complexity for Quiescent Consistency and its Variations.	CoRR	2015	DBLP BibTeX RDF
14	Babak Bagheri Hariri, Val Tannen	Decidability of Equivalence of Aggregate Count-Distinct Queries.	CoRR	2015	DBLP BibTeX RDF
14	Vladimir V. Rybakov	Intransitive Linear Temporal Logic, Knowledge from Past, Decidability, Admissible Rules.	CoRR	2015	DBLP BibTeX RDF
14	Cristian S. Calude, Damien Desfontaines	Universality and Almost Decidability.	CoRR	2015	DBLP BibTeX RDF
14	Arnaud Carayol, Olivier Serre	Marking Shortest Paths On Pushdown Graphs Does Not Preserve MSO Decidability.	CoRR	2015	DBLP BibTeX RDF
14	Grant Olney Passmore	Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.	CoRR	2015	DBLP BibTeX RDF
14	Ventsislav Chonev, Joël Ouaknine, James Worrell 0001	On the Decidability of the Continuous Infinite Zeros Problem.	CoRR	2015	DBLP BibTeX RDF
14	Guillaume Bonfante, Florian L. Deloup	Decidability of regular language genus computation.	CoRR	2015	DBLP BibTeX RDF