Search results for "decidable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Dietrich Kuske, Markus Lohrey	First-Order and Counting Theories of omega-Automatic Structures.	FoSSaCS	2006	DBLP DOI BibTeX RDF
19	Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli	Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures.	IJCAR	2006	DBLP DOI BibTeX RDF
19	Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier	Controller Synthesis for MTL Specifications.	CONCUR	2006	DBLP DOI BibTeX RDF
19	Yi Wang, Masahiko Sakai	Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.	RTA	2006	DBLP DOI BibTeX RDF
19	Riccardo Rosati 0001	Integrating Ontologies and Rules: Semantic and Computational Issues.	Reasoning Web	2006	DBLP DOI BibTeX RDF
19	Sergio Flesca, Filippo Furfaro, Sergio Greco, Ester Zumpano	Querying and Repairing Inconsistent XML Data.	WISE	2005	DBLP DOI BibTeX RDF
19	Joël Ouaknine, James Worrell 0001	On the Decidability of Metric Temporal Logic.	LICS	2005	DBLP DOI BibTeX RDF
19	James Laird	Decidability in Syntactic Control of Interference.	ICALP	2005	DBLP DOI BibTeX RDF
19	Cheng Li, Zhe Dang, Oscar H. Ibarra, Hsu-Chun Yen	Signaling P Systems and Verification Problems.	ICALP	2005	DBLP DOI BibTeX RDF
19	Stavros Tripakis	Two-Phase Distributed Observation Problems.	ACSD	2005	DBLP DOI BibTeX RDF
19	Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh	Verification via Structure Simulation.	CAV	2004	DBLP DOI BibTeX RDF
19	Joël Ouaknine, James Worrell 0001	On the Language Inclusion Problem for Timed Automata: Closing a Decidability Gap.	LICS	2004	DBLP DOI BibTeX RDF
19	Javier Esparza, Antonín Kucera 0001, Richard Mayr	Model Checking Probabilistic Pushdown Automata.	LICS	2004	DBLP DOI BibTeX RDF
19	Jean-Pierre Jouannaud	Theorem Proving Languages for Verification.	ATVA	2004	DBLP DOI BibTeX RDF
19	Guangyuan Li, Zhisong Tang	Translating a Continuous-Time Temporal Logic into Timed Automata.	APLAS	2003	DBLP DOI BibTeX RDF
19	Antje Nowack	Deciding the Verification Problem for Abstract State Machines.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
19	Ninghui Li, William H. Winsborough, John C. Mitchell	Beyond Proof-of-Compliance: Safety and Availability Analysis in Trust Management.	S&P	2003	DBLP DOI BibTeX RDF
19	Natasha Alechina, Brian Logan 0001	Ascribing beliefs to resource bounded agents.	AAMAS	2002	DBLP DOI BibTeX RDF	formalisms and logics
19	Andreas Blass, Yuri Gurevich	Inadequacy of computable loop invariants.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	postcondition uncomputable, recursive inseparability, assertion, automated reasoning, precondition, Hoare logic, automated deduction, loop invariants
19	P. Madhusudan	Reasoning about Sequential and Branching Behaviours of Message Sequence Graphs.	ICALP	2001	DBLP DOI BibTeX RDF
19	Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer	On Presburger Liveness of Discrete Timed Automata.	STACS	2001	DBLP DOI BibTeX RDF
19	Serge Haddad, Denis Poitrenaud	Checking Linear Temporal Formulas on Sequential Recursive Petri Nets.	TIME	2001	DBLP DOI BibTeX RDF
19	Olivier Carton, Wolfgang Thomas	The Monadic Theory of Morphic Infinite Words and Generalizations.	MFCS	2000	DBLP DOI BibTeX RDF
19	Renate A. Schmidt, Ullrich Hustadt	A Resolution Decision Procedure for Fluted Logic.	CADE	2000	DBLP DOI BibTeX RDF
19	Deepak Kapur, Mahadevan Subramaniam	Extending Decision Procedures with Induction Schemes.	CADE	2000	DBLP DOI BibTeX RDF
19	Georg Gottlob, Reinhard Pichler	Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.	LICS	1999	DBLP DOI BibTeX RDF	Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
19	Michael Kifer	On the Decidability and Axiomatization of Query Finiteness in Deductive Databases.	J. ACM	1998	DBLP DOI BibTeX RDF	finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization
19	W. O. David Griffioen, Frits W. Vaandrager	Normed Simulations.	CAV	1998	DBLP DOI BibTeX RDF
19	Salvatore Ruggieri	Decidability of Logic Program Semantics and Applications to Testing.	PLILP	1996	DBLP DOI BibTeX RDF
19	Enno Ohlebusch, Esko Ukkonen	On the Equivalence Problem for E-Pattern Languages.	MFCS	1996	DBLP DOI BibTeX RDF
19	Inderpal Singh Mumick, Oded Shmueli	Universal Finiteness and Satisfiability.	PODS	1994	DBLP DOI BibTeX RDF	SQL, Datalog
19	Yves Métivier, Gwénaël Richomme	On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract).	STACS	1994	DBLP DOI BibTeX RDF	trace monoids, finite power property, recognizability
19	Ahmed Bouajjani, Rachid Echahed, Riadh Robbana	Verification of Nonregular Temporal Properties for Context-Free Processes.	CONCUR	1994	DBLP DOI BibTeX RDF
19	Klaus U. Schulz	On Existential Theories of List Concatenation.	CSL	1994	DBLP DOI BibTeX RDF
19	Franz Baader, Klaus U. Schulz	Combination Techniques and Decision Problems for Disunification.	RTA	1993	DBLP DOI BibTeX RDF
19	David A. Plaisted	Polynomial Time Termination and Constraint Satisfaction Tests.	RTA	1993	DBLP DOI BibTeX RDF
19	Hubert Comon	Complete Axiomatizations of Some Quotient Term Algebras.	ICALP	1991	DBLP DOI BibTeX RDF
19	Andrei Voronkov	On Completeness of Program Synthesis Systems.	CSL	1991	DBLP DOI BibTeX RDF
19	Volker Diekert	Combinatorial Rewriting on Traces.	STACS	1990	DBLP DOI BibTeX RDF
19	Karel Culík II, Juhani Karhumäki	On the Equivalence Problem for Deterministic Multitape Automata and Transducers.	STACS	1989	DBLP DOI BibTeX RDF
19	Edmund M. Clarke, Steven M. German, Joseph Y. Halpern	On Effective Axiomatizations of Hoare Logics.	POPL	1982	DBLP DOI BibTeX RDF
19	Oscar H. Ibarra, Brian S. Leininger, Shlomo Moran	On the Complexity of Simple Arithmetic Expressions.	ICALP	1981	DBLP DOI BibTeX RDF
15	Nathalie Aubrun, Manon Blanc, Olivier Bournez	The domino problem is decidable for robust tilesets.	CoRR	2024	DBLP DOI BibTeX RDF
15	Till Hofmann, Stefan Schupp, Gerhard Lakemeyer	Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories.	CoRR	2024	DBLP DOI BibTeX RDF
15	Vesa Halava, Stepan Holub	Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
15	Sebastian Maneth, Helmut Seidl, Martin Vu	Functionality of compositions of top-down tree transducers is decidable.	Inf. Comput.	2024	DBLP DOI BibTeX RDF
15	Balder ten Cate, Jesse Comer	Craig Interpolation for Decidable First-Order Fragments.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
15	Shaull Almagor, Neta Dafni	Determinization of Integral Discounted-Sum Automata is Decidable.	FoSSaCS (1)	2024	DBLP DOI BibTeX RDF
15	Abhishek Kr Singh, Ori Lahav 0001	Decidable Verification under Localized Release-Acquire Concurrency.	TACAS (3)	2024	DBLP DOI BibTeX RDF
15	Luisa Herrmann 0001, Vincent Peth, Sebastian Rudolph	Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.	CSL	2024	DBLP DOI BibTeX RDF
15	Balder ten Cate	Craig Interpolation for Decidable Fragments of First-Order Logic (Invited Talk).	CSL	2024	DBLP DOI BibTeX RDF
15	Paul Krogmeier, P. Madhusudan	Languages with Decidable Learning: A Meta-theorem.	Proc. ACM Program. Lang.	2023	DBLP DOI BibTeX RDF
15	Anantha Padmanabha, R. Ramanujam 0001	A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic.	ACM Trans. Comput. Log.	2023	DBLP DOI BibTeX RDF
15	Daniel Rogozin, Ilya Shapirovsky	On Decidable Extensions of Propositional Dynamic Logic with Converse.	FLAP	2023	DBLP BibTeX RDF
15	Boris Bukh, R. Amzi Jeffs	Planar Convex Codes are Decidable.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
15	Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà	A decidable theory involving addition of differentiable real functions.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger	Intuitionistic S4 is decidable.	CoRR	2023	DBLP DOI BibTeX RDF
15	Tim S. Lyon, Sebastian Rudolph	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.	CoRR	2023	DBLP DOI BibTeX RDF
15	Laure Daviaud, David Purser	The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete).	CoRR	2023	DBLP DOI BibTeX RDF
15	Ruiwen Dong 0001	The Identity Problem in ℤ ≀ ℤ is decidable.	CoRR	2023	DBLP DOI BibTeX RDF
15	Paul Krogmeier, P. Madhusudan	Languages With Decidable Learning: A Meta-Theorem.	CoRR	2023	DBLP DOI BibTeX RDF
15	Felix Stutz	Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.	CoRR	2023	DBLP DOI BibTeX RDF
15	Davide Zorzenon, Jörg Raisch	Consistency of P-time event graphs is decidable in polynomial time (extended version).	CoRR	2023	DBLP DOI BibTeX RDF
15	Shaull Almagor, Neta Dafni	Determinization of Integral Discounted-Sum Automata is Decidable.	CoRR	2023	DBLP DOI BibTeX RDF
15	Daniel Rogozin, Ilya Shapirovsky	On decidable extensions of Propositional Dynamic Logic with Converse.	CoRR	2023	DBLP DOI BibTeX RDF
15	Gilles Dowek	Third Order Matching is Decidable.	CoRR	2023	DBLP DOI BibTeX RDF
15	Eben Blaisdell	Decidable Exponentials in Nonassociative Noncommutative Linear Logic.	CoRR	2023	DBLP DOI BibTeX RDF
15	Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler	Decidable Fragments of LTLf Modulo Theories (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
15	Luisa Herrmann 0001, Sebastian Rudolph	Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures.	CoRR	2023	DBLP DOI BibTeX RDF
15	Balder ten Cate, Jesse Comer	Craig Interpolation for Decidable First-Order Fragments.	CoRR	2023	DBLP DOI BibTeX RDF
15	Alain Finkel, Étienne Lozes	Synchronizability of Communicating Finite State Machines is not Decidable.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
15	Enrico Francesconi, Guido Governatori	Patterns for legal compliance checking in a decidable framework of linked open data.	Artif. Intell. Law	2023	DBLP DOI BibTeX RDF
15	Laure Daviaud, David Purser	The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete).	LICS	2023	DBLP DOI BibTeX RDF
15	Marianna Girlando, Roman Kuznets, Sonia Marin, Marianela Morales, Lutz Straßburger	Intuitionistic S4 is decidable.	LICS	2023	DBLP DOI BibTeX RDF
15	Ruiwen Dong 0001	The Identity Problem in ℤ ≀ ℤ Is Decidable.	ICALP	2023	DBLP DOI BibTeX RDF
15	Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph	Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.	PODS	2023	DBLP DOI BibTeX RDF
15	Felix Stutz	Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.	ECOOP	2023	DBLP DOI BibTeX RDF
15	Luca Geatti, Alessandro Gianola, Nicola Gigante, Sarah Winkler	Decidable Fragments of LTLf Modulo Theories.	ECAI	2023	DBLP DOI BibTeX RDF
15	Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni 0001, Roopsha Samanta	Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification.	TACAS (2)	2023	DBLP DOI BibTeX RDF
15	Thomas Feller 0001, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph	Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.	ICDT	2023	DBLP DOI BibTeX RDF
15	Tim S. Lyon, Sebastian Rudolph	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets.	JELIA	2023	DBLP DOI BibTeX RDF
15	David Fernández-Duque, Brett McLean, Lukas Zenger	A Family of Decidable Bi-intuitionistic Modal Logics.	KR	2023	DBLP DOI BibTeX RDF
15	Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev	A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).	Description Logics	2023	DBLP BibTeX RDF
15	Oded Padon	Invited Talk: Deductive Verification of Distributed Protocols in Decidable Logics.	SMT	2023	DBLP BibTeX RDF
15	Toghrul Karimov, Engel Lefaucheux, Joël Ouaknine, David Purser, Anton Varonka, Markus A. Whiteland, James Worrell 0001	What's decidable about linear loops?	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
15	Irina A. Lomazova, Vladimir A. Bashkin, Petr Jancar	Resource Bisimilarity in Petri Nets is Decidable.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
15	Maximiliano Cristiá, Gianfranco Rossi	A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers.	CoRR	2022	DBLP DOI BibTeX RDF
15	Xuan Kien Phung	Some pointwise and decidable properties of non-uniform cellular automata.	CoRR	2022	DBLP DOI BibTeX RDF
15	Thomas Feller 0001, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph	Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.	CoRR	2022	DBLP DOI BibTeX RDF
15	James Laird	Revisiting Decidable Bounded Quantification, via Dinaturality.	MFPS	2022	DBLP DOI BibTeX RDF
15	Zvi Schreiber	Epi-constructivism: Decidable sets of computable numbers as foundational objects for mathematics.	CoRR	2022	DBLP DOI BibTeX RDF
15	Alessandro Artale, Andrea Mazzullo, Ana Ozaki	First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.	CoRR	2022	DBLP BibTeX RDF
15	Luke Schaeffer, Jeffrey O. Shallit	The First-Order Theory of Binary Overlap-Free Words is Decidable.	CoRR	2022	DBLP DOI BibTeX RDF
15	Wojciech Czerwinski, Piotr Hofman	Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable.	CoRR	2022	DBLP BibTeX RDF
15	Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001	What's Decidable about Discrete Linear Dynamical Systems?	CoRR	2022	DBLP DOI BibTeX RDF
15	Nouraldin Jaber, Christopher Wagner, Swen Jacobs, Milind Kulkarni 0001, Roopsha Samanta	Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Parameterized Verification.	CoRR	2022	DBLP DOI BibTeX RDF
15	Petr Jancar, Jérôme Leroux	Semilinear Home-space is Decidable for Petri Nets.	CoRR	2022	DBLP DOI BibTeX RDF
15	Benedikt Bollig, Alain Finkel, Amrita Suresh 0001	Bounded Reachability Problems are Decidable in FIFO Machines.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
15	Jani Boutellier, Yujunrong Ma, Jiahao Wu 0001, Mir Khan, Shuvra S. Bhattacharyya	VR-PRUNE: Decidable Variable-Rate Dataflow for Signal Processing Systems.	IEEE Trans. Signal Process.	2022	DBLP DOI BibTeX RDF
15	Kaartik Bhushan, Ankit Kumar Misra, Varun Narayanan, Manoj Prabhakaran 0001	Secure Non-Interactive Reducibility is Decidable.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF