Search results for "decidability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Viktor Kuncak, Martin C. Rinard	Structural Subtyping of Non-Recursive Types is Decidable.	LICS	2003	DBLP DOI BibTeX RDF
16	Felix Klaedtke, Harald Rueß	Monadic Second-Order Logics with Cardinalities.	ICALP	2003	DBLP DOI BibTeX RDF
16	Viviana Bono, Jerzy Tiuryn, Pawel Urzyczyn	Type Inference for Nested Self Types.	TYPES	2003	DBLP DOI BibTeX RDF
16	Christopher Lynch	Schematic Saturation for Decision and Unification Problems.	CADE	2003	DBLP DOI BibTeX RDF
16	Emmanuel Coquery, François Fages	Subtyping Constraints in Quasi-lattices.	FSTTCS	2003	DBLP DOI BibTeX RDF
16	Ramaswamy Ramanujam, S. P. Suresh	Tagging Makes Secrecy Decidable with Unbounded Nonces as Well.	FSTTCS	2003	DBLP DOI BibTeX RDF
16	Fabio Grandi 0001	On Expressive Description Logics with Composition of Roles in Number Restrictions.	LPAR	2002	DBLP DOI BibTeX RDF
16	Richard Statman	On The Lambda Y Calculus.	LICS	2002	DBLP DOI BibTeX RDF
16	Zhendong Su 0001, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen	The first-order theory of subtyping constraints.	POPL	2002	DBLP DOI BibTeX RDF
16	Colin Stirling	Deciding DPDA Equivalence Is Primitive Recursive.	ICALP	2002	DBLP DOI BibTeX RDF
16	Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	On Non-Local Propositional and Local One-Variable Quantified CTL*.	TIME	2002	DBLP DOI BibTeX RDF
16	Maria Sorea	A Decidable Fixpoint Logic for Time-Outs.	CONCUR	2002	DBLP DOI BibTeX RDF
16	Didier Galmiche, Daniel Méry, David J. Pym	Resource Tableaux.	CSL	2002	DBLP DOI BibTeX RDF
16	Klaus Reinhardt	The Complexity of Translating Logic to Finite Automata.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF
16	Vincent Padovani	Retracts in Simple Types.	TLCA	2001	DBLP DOI BibTeX RDF
16	Mikolaj Bojanczyk	The Finite Graph Problem for Two-Way Alternating Automata.	FoSSaCS	2001	DBLP DOI BibTeX RDF
16	Irina B. Virbitskaite	Characterizing Timed Net Processes Categorically.	PaCT	2001	DBLP DOI BibTeX RDF
16	Joachim Niehren, Tim Priesnitz	Non-structural Subtype Entailment in Automata Theory.	TACS	2001	DBLP DOI BibTeX RDF
16	Hiroshi Nakano	Fixed-Point Logic with the Approximation Modality and Its Kripke Completeness.	TACS	2001	DBLP DOI BibTeX RDF
16	Denis Lugiez, Philippe Schnoebelen	Decidable First-Order Transition Logics for PA-Processes.	ICALP	2000	DBLP DOI BibTeX RDF
16	Ivana Cerná, Mojmír Kretínský, Antonín Kucera 0001	Comparing Expressibility of Normed BPA and Normed BPP Processes.	Acta Informatica	1999	DBLP DOI BibTeX RDF
16	Hardi Hungar	Model Checking and Higher-Order Recursion.	MFCS	1999	DBLP DOI BibTeX RDF
16	Ahmed Bouajjani, Richard Mayr	Model Checking Lossy Vector Addition Systems.	STACS	1999	DBLP DOI BibTeX RDF
16	Petr Jancar, Faron Moller, Zdenek Sawa	Simulation Problems for One-Counter Machines.	SOFSEM	1999	DBLP DOI BibTeX RDF
16	Jean-Eric Pin	Bridges for Concatenation Hierarchies.	ICALP	1998	DBLP DOI BibTeX RDF
16	Manfred Schmidt-Schauß, Klaus U. Schulz	On the Exponent of Periodicity of Minimal Solutions of Context Equation.	RTA	1998	DBLP DOI BibTeX RDF
16	Alain Finkel, Philippe Schnoebelen	Fundamental Structures in Well-Structured Infinite Transition Systems.	LATIN	1998	DBLP DOI BibTeX RDF
16	Antonín Kucera 0001	How to Parallelize Sequential Processes.	CONCUR	1997	DBLP DOI BibTeX RDF
16	Thomas A. Henzinger	Hybrid Automata with Finite Bisimulatioins.	ICALP	1995	DBLP DOI BibTeX RDF
16	Isabelle Fagnot	On the Subword Equivalence Problem for Infinite Words.	STACS	1995	DBLP DOI BibTeX RDF
16	Satish R. Thatte	Semantics of Type Classes Revisited.	LISP and Functional Programming	1994	DBLP DOI BibTeX RDF	Haskell
16	Giuseppe De Giacomo, Maurizio Lenzerini	Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.	JELIA	1994	DBLP DOI BibTeX RDF
16	Laurence Puel, Ascánder Suárez	Optimal Solutions to Pattern Matching Problems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
16	Søren Christensen, Yoram Hirshfeld, Faron Moller	Bisimulation Equivalence is Decidable for Basic Parallel Processes.	CONCUR	1993	DBLP DOI BibTeX RDF
16	Pierre-Louis Curien, Roberto Di Cosmo	A Concluent Reduction for the Lambda-Calculus with Surjective Pairing and Terminal Object.	ICALP	1991	DBLP DOI BibTeX RDF
16	Thierry Jéron	Testing for Unboundedness of FIFO Channels.	STACS	1991	DBLP DOI BibTeX RDF
16	Jean-Luc Coquidé, Max Dauchet, Rémi Gilleron, Sándor Vágvölgyi	Bottom-Up Tree Pushdown Automata and Rewrite Systems.	RTA	1991	DBLP DOI BibTeX RDF	Rewrite systems (=term rewrite systems), Church-Rosser (=confluent) systems, Noetherian systems, Convergent (=noetherian+confluent) systems, (Deterministic) tree automaton with pushdown store, (Recognizable, Context-free) tree languages
16	Gerhard Lakemeyer	A Computationally Attractive First-Order Logic of Belief.	JELIA	1990	DBLP DOI BibTeX RDF
16	Jürgen Schäfer	A Kleene-Presburgerian Approach to Linear Production Systems.	ICALP	1988	DBLP DOI BibTeX RDF
16	Fritz Henglein	Type Inference and Semi-Unification.	LISP and Functional Programming	1988	DBLP DOI BibTeX RDF
16	Eljas Soisalon-Soininen, Derick Wood	On Structural Similarity of Context-Free Grammars.	MFCS	1981	DBLP DOI BibTeX RDF
14	Domenico Cantone, Pietro Ursino	Decidability of the Satisfiability Problem for Boolean Set Theory with the Unordered Cartesian Product Operator.	ACM Trans. Comput. Log.	2024	DBLP DOI BibTeX RDF
14	Ruochen Tai, Liyong Lin, Rong Su 0001	On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.	IEEE Trans. Autom. Control.	2024	DBLP DOI BibTeX RDF
14	Luke Schaeffer, Jeffrey O. Shallit, Stefan Zorcic	Beatty Sequences for a Quadratic Irrational: Decidability and Applications.	CoRR	2024	DBLP DOI BibTeX RDF
14	Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani	Redex -> Coq: towards a theory of decidability of Redex's reduction semantics.	CoRR	2024	DBLP DOI BibTeX RDF
14	Lucie Guillou, Corto Mascle, Nicolas Waldburger	Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.	FoSSaCS (2)	2024	DBLP DOI BibTeX RDF
14	Peter Kostolányi	On some decidability questions concerning supports of rational series.	Inf. Process. Lett.	2023	DBLP DOI BibTeX RDF
14	Krystian Jobczyk	An (almost) fuzzy logic of action and preferences, its quasi-model interpretations, and the problem of its decidability.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
14	Giovanni Pighizzini, Luca Prigioniero	Pushdown automata and constant height: decidability and bounds.	Acta Informatica	2023	DBLP DOI BibTeX RDF
14	Rong Su 0001	On decidability of existence of nonblocking supervisors resilient to smart sensor attacks.	Autom.	2023	DBLP DOI BibTeX RDF
14	Søren Brinck Knudstorp	Modal Information Logics: Axiomatizations and Decidability.	J. Philos. Log.	2023	DBLP DOI BibTeX RDF
14	Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque	The Topological Mu-Calculus: Completeness and Decidability.	J. ACM	2023	DBLP DOI BibTeX RDF
14	Jarkko Kari, Etienne Moutot	Decidability and Periodicity of Low Complexity Tilings.	Theory Comput. Syst.	2023	DBLP DOI BibTeX RDF
14	Gennady Shtakser	Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness.	Logica Universalis	2023	DBLP DOI BibTeX RDF
14	Lucie Guillou, Corto Mascle, Nicolas Waldburger	Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.	CoRR	2023	DBLP DOI BibTeX RDF
14	Tikhon Pshenitsyn	On Decidability and Expressive Power of Fusion Grammars.	CoRR	2023	DBLP DOI BibTeX RDF
14	Amanda Vidal	On the local consequence of modal Product logic: standard completeness and decidability.	CoRR	2023	DBLP DOI BibTeX RDF
14	Pierre Dehornoy, Corentin Lunel, Arnaud de Mesmay	Hopf Arborescent Links, Minor Theory, and Decidability of the Genus Defect.	CoRR	2023	DBLP DOI BibTeX RDF
14	Tianyue Cao, Bowen Zhang, Zhao Jin, Yongzhi Cao, Hanpin Wang	A separation logic for sequences in pointer programs and its decidability.	CoRR	2023	DBLP DOI BibTeX RDF
14	Thomas Feller 0001, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph	Decidability of Querying First-Order Theories via Countermodels of Finite Width.	CoRR	2023	DBLP DOI BibTeX RDF
14	V. Ironmonger, Nik Ruskuc	Decidability of well quasi-order and atomicity for equivalence relations under embedding orderings.	CoRR	2023	DBLP DOI BibTeX RDF
14	Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard	A Semantic Approach to Decidability in Epistemic Planning (Extended Version).	CoRR	2023	DBLP DOI BibTeX RDF
14	Weilin Deng, Daowen Qiu, Jingkai Yang	Opacity of Parametric Discrete Event Systems: Models, Decidability, and Algorithms.	CoRR	2023	DBLP DOI BibTeX RDF
14	Gilles Dowek, Ying Jiang	Eigenvariables, bracketing and the decidability of positive minimal predicate logic.	CoRR	2023	DBLP DOI BibTeX RDF
14	Stephan Spengler, Sanchari Sil	TSO Games - On the decidability of safety games under the total store order semantics (extended version with appendix).	CoRR	2023	DBLP DOI BibTeX RDF
14	Ilya Shapirovsky	Decidability of modal logics of non-k-colorable graphs.	CoRR	2023	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.	CoRR	2023	DBLP DOI BibTeX RDF
14	Qian Chen, Dazhu Li	Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.	CoRR	2023	DBLP DOI BibTeX RDF
14	Ruochen Tai, Liyong Lin, Rong Su 0001	On Decidability of Existence of Fortified Supervisors Against Covert Actuator Attackers.	CoRR	2023	DBLP DOI BibTeX RDF
14	Stephan Spengler, Sanchari Sil	TSO Games - On the decidability of safety games under the total store order semantics.	GandALF	2023	DBLP DOI BibTeX RDF
14	Paul Hannibal	(Un)Decidability Bounds of the Synthesis Problem for Petri Games.	GandALF	2023	DBLP DOI BibTeX RDF
14	Arnaldo Cesco, Roberto Gorrieri	Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets.	Log. Methods Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Manfred Droste, Zoltán Fülöp 0001, Dávid Kószó	Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata.	Int. J. Found. Comput. Sci.	2023	DBLP DOI BibTeX RDF
14	Shankara Narayanan Krishna, Khushraj Madnani, Manuel Mazo Jr., Paritosh K. Pandya	From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.	Formal Aspects Comput.	2023	DBLP DOI BibTeX RDF
14	Hans van Ditmarsch, Louwe B. Kuijer, Mo Liu 0002	An Arrow-Based Dynamic Logic of Normative Systems and Its Decidability.	LORI	2023	DBLP DOI BibTeX RDF
14	Ilya Shapirovsky	Decidability of Modal Logics of Non-k-Colorable Graphs.	WoLLIC	2023	DBLP DOI BibTeX RDF
14	Oskar Fiuk, Emanuel Kieronski	An excursion to the border of decidability: between two- and three-variable logic.	LPAR	2023	DBLP DOI BibTeX RDF
14	Minglong Qin, Penghui Yao	Decidability of Fully Quantum Nonlocal Games with Noisy Maximally Entangled States.	ICALP	2023	DBLP DOI BibTeX RDF
14	Christoph Haase, Alessio Mansutti, Amaury Pouly	On Polynomial-Time Decidability of k-Negations Fragments of FO Theories (Extended Abstract).	MFCS	2023	DBLP DOI BibTeX RDF
14	Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard	A Semantic Approach to Decidability in Epistemic Planning.	ECAI	2023	DBLP DOI BibTeX RDF
14	Qian Chen, Dazhu Li	Logic of the Hide and Seek Game: Characterization, Axiomatization, Decidability.	DaLí	2023	DBLP DOI BibTeX RDF
14	Bernard Boigelot, Pascal Fontaine, Baptiste Vergain	Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.	CADE	2023	DBLP DOI BibTeX RDF
14	Xiaoxuan Fu, Zhiguang Zhao	A Logic for Preference Lifting Under Uncertainty and Its Decidability.	CLAR	2023	DBLP DOI BibTeX RDF
14	Xinglong Chang, Katharina Dost, Kaiqi Zhao 0001, Ambra Demontis, Fabio Roli, Gillian Dobbie, Jörg Wicker	BAARD: Blocking Adversarial Examples by Testing for Applicability, Reliability and Decidability.	PAKDD (1)	2023	DBLP DOI BibTeX RDF
14	Mihir Vahanwala	Robust Positivity Problems for Linear Recurrence Sequences: The Frontiers of Decidability for Explicitly Given Neighbourhoods.	FSTTCS	2023	DBLP DOI BibTeX RDF
14	Francesco Di Cosmo	Decidability Borders of Verification of Communicating Datalog Agents.	EUMAS	2023	DBLP DOI BibTeX RDF
14	Alessandro Burigana, Paolo Felli, Marco Montali, Nicolas Troquard	A Semantic Approach to Decidability in Epistemic Planning.	AAMAS	2023	DBLP BibTeX RDF
14	Adam Husted Kjelstrøm, Andreas Pavlogiannis	The decidability and complexity of interleaved bidirected Dyck reachability.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
14	Alexis Bès, Christian Choffrut	Decidability of Definability Issues in the Theory of Real Addition.	Fundam. Informaticae	2022	DBLP DOI BibTeX RDF
14	Maryam Ghorani, Somaye Moghari	Decidability of the minimization of fuzzy tree automata with membership values in complete lattices.	J. Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
14	Petra Wolf 0002	On the decidability of finding a positive ILP-instance in a regular set of ILP-instances.	Acta Informatica	2022	DBLP DOI BibTeX RDF
14	Nicola Gigante, Andrea Micheli, Angelo Montanari, Enrico Scala	Decidability and complexity of action-based temporal planning over dense time.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
14	Zdenek Dvorák 0001, Luke Postle	On Decidability of Hyperbolicity.	Comb.	2022	DBLP DOI BibTeX RDF
14	Petra Wolf 0002	From decidability to undecidability by considering regular sets of instances.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Daniel Krenn, Jeffrey O. Shallit	Decidability and k-regular sequences.	Theor. Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Agata Tomczyk, Dorota Leszczynska-Jasion	Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus.	NCL	2022	DBLP DOI BibTeX RDF
14	Laura Bozzelli, Adriano Peron, César Sánchez 0001	Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.	CoRR	2022	DBLP DOI BibTeX RDF
14	Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier	Decidability of One-Clock Weighted Timed Games with Arbitrary Weights.	CoRR	2022	DBLP DOI BibTeX RDF
14	Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki	Logics for Epistemic Actions: Completeness, Decidability, Expressivity.	CoRR	2022	DBLP DOI BibTeX RDF
14	Eion Blanchard, Philipp Hieronymi	Decidability bounds for Presburger arithmetic extended by sine.	CoRR	2022	DBLP DOI BibTeX RDF