Search results for "decidability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	José Carmo, Andrew J. I. Jones	Completeness and decidability results for a logic of contrary-to-duty conditionals.	J. Log. Comput.	2013	DBLP DOI BibTeX RDF
14	Georg Gottlob, Marco Manna, Andreas Pieris	Combining decidability paradigms for existential rules.	Theory Pract. Log. Program.	2013	DBLP DOI BibTeX RDF
14	Stefan Haar, Tomás Masopust	Languages, Decidability, and Complexity.	Control of Discrete-Event Systems	2013	DBLP DOI BibTeX RDF
14	Dmitry Solomakhin, Marco Montali, Sergio Tessaris, Riccardo De Masellis	Verification of Artifact-Centric Systems: Decidability and Modeling Issues.	ICSOC	2013	DBLP DOI BibTeX RDF
14	Alberto Policriti	On the Decidability of the ∃∀ Prefix Class in Set Theory.	CILC	2013	DBLP BibTeX RDF
14	Piotr Hofman, Richard Mayr, Patrick Totzke	Decidability of Weak Simulation on One-Counter Nets.	LICS	2013	DBLP DOI BibTeX RDF
14	Alfredo Burrieza	Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Comparability and Negligibility Relations.	CAEPIA	2013	DBLP DOI BibTeX RDF
14	Pavithra Prabhakar, Mahesh Viswanathan 0001	On the decidability of stability of hybrid systems.	HSCC	2013	DBLP DOI BibTeX RDF
14	Giorgio Delzanno, Riccardo Traverso	Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks.	LATA	2013	DBLP DOI BibTeX RDF
14	Anca Muscholl, Sven Schewe	Unlimited Decidability of Distributed Synthesis with Limited Missing Knowledge.	MFCS	2013	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher, Carlo Mereghetti, Beatrice Palano, Matthias Wendlandt	Input-Driven Queue Automata: Finite Turns, Decidability, and Closure Properties.	CIAA	2013	DBLP DOI BibTeX RDF
14	Ricardo Gonçalves 0001, José Júlio Alferes	Decidability and Implementation of Parametrized Logic Programs.	LPNMR	2013	DBLP DOI BibTeX RDF
14	Elham Ramezani, Natalia Sidorova, Christian Stahl	Interval Soundness of Resource-Constrained Workflow Nets: Decidability and Repair.	FSEN	2013	DBLP DOI BibTeX RDF
14	Jeffrey O. Shallit	Decidability and Enumeration for Automatic Sequences: A Survey.	CSR	2013	DBLP DOI BibTeX RDF
14	Abdelkader Kersani, Nicolas Peltier	Completeness and Decidability Results for First-Order Clauses with Indices.	CADE	2013	DBLP DOI BibTeX RDF
14	Amir M. Ben-Amram	Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity (extended abstract).	STACS	2013	DBLP DOI BibTeX RDF
14	Ivan Lanese, Gianluigi Zavattaro	Decidability Results for Dynamic Installation of Compensation Handlers.	COORDINATION	2013	DBLP DOI BibTeX RDF
14	Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko	Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.	RTA	2013	DBLP DOI BibTeX RDF
14	Sam A. M. Jones, Richard M. Thomas	Formal Languages, Word Problems of Groups and Decidability.	RP	2013	DBLP DOI BibTeX RDF
14	Christof Löding, Stefan Repke	Decidability Results on the Existence of Lookahead Delegators for NFA.	FSTTCS	2013	DBLP DOI BibTeX RDF
14	Philippe Balbiani, Szabolcs Mikulás	Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders.	FroCos	2013	DBLP DOI BibTeX RDF
14	Francesco Belardinelli, Alessio Lomuscio	Decidability of Model Checking Non-Uniform Artifact-Centric Quantified Interpreted Systems.	IJCAI	2013	DBLP BibTeX RDF
14	Michaël Thomazo	Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms.		2013	RDF
14	Paul Gastin, Nathalie Sznajder	Decidability of well-connectedness for distributed synthesis.	Inf. Process. Lett.	2012	DBLP DOI BibTeX RDF
14	Emanuel Kieronski, Martin Otto 0001	Small substructures and decidability issues for first-order logic with two variables.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
14	Eugenio G. Omodeo, Alberto Policriti	The Bernays - Schönfinkel - Ramsey class for set theory: decidability.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
14	Hajnal Andréka, Judit X. Madarász, István Németi	Decidability, Undecidability, and Gödel's Incompleteness in Relativity Theories.	Parallel Process. Lett.	2012	DBLP DOI BibTeX RDF
14	Diego Figueira	Decidability of Downward XPath.	ACM Trans. Comput. Log.	2012	DBLP DOI BibTeX RDF
14	Kenji Hashimoto, Hiroto Kawai, Yasunori Ishihara, Toru Fujiwara	Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases.	IEICE Trans. Inf. Syst.	2012	DBLP DOI BibTeX RDF
14	Daniel Kirsten	Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Ferucio Laurentiu Tiplea, Corina Bocaneala	Decidability Results for Soundness Criteria of Resource-Constrained Workflow Nets.	IEEE Trans. Syst. Man Cybern. Part A	2012	DBLP DOI BibTeX RDF
14	Udayan B. Darji, Steve W. Seif	A Note on Decidability of Cellularity.	J. Cell. Autom.	2012	DBLP BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna	Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues	CoRR	2012	DBLP BibTeX RDF
14	Fabien Durand	Decidability of uniform recurrence of morphic sequences	CoRR	2012	DBLP BibTeX RDF
14	Hung-Hsun Chen, Wen-Guei Hu, De-Jan Lai, Song-Sun Lin	Decidability of plane edge coloring with three colors	CoRR	2012	DBLP BibTeX RDF
14	Tigran Avanesov, Yannick Chevalier, Michaël Rusinowitch, Mathieu Turuani	Intruder deducibility constraints with negation. Decidability and application to secured service compositions	CoRR	2012	DBLP BibTeX RDF
14	Vincent Padovani	Decidability of All Minimal Models (Revised Version - 2012)	CoRR	2012	DBLP BibTeX RDF
14	Sicun Gao, Jeremy Avigad, Edmund M. Clarke	Delta-Decidability over the Reals	CoRR	2012	DBLP BibTeX RDF
14	Philippe Darondeau, Stéphane Demri, Roland Meyer 0001, Christophe Morvan	Petri Net Reachability Graphs: Decidability Status of First Order Properties	Log. Methods Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Jarkko Kari	Decidability and undecidability in cellular automata.	Int. J. Gen. Syst.	2012	DBLP DOI BibTeX RDF
14	Krystian Dudzinski, Stavros Konstantinidis	Formal Descriptions of Code Properties: Decidability, Complexity, Implementation.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Amir M. Ben-Amram, Lars Kristiansen	On the Edge of Decidability in Complexity Analysis of Loop Programs.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Mark Burgin	Decidability and Universality in the Axiomatic Theory of Computability and Algorithms.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	David Auger, Olivier Teytaud	The Frontier of Decidability in Partially Observable Recursive Games.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
14	Alla Sirokofskich	Decidability questions for a ring of Laurent polynomials.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
14	Robert Solovay, R. D. Arthan, John Harrison 0001	Some new results on decidability for elementary algebra and geometry.	Ann. Pure Appl. Log.	2012	DBLP DOI BibTeX RDF
14	Julien Cassaigne, François Nicolas	On the decidability of semigroup freeness.	RAIRO Theor. Informatics Appl.	2012	DBLP DOI BibTeX RDF
14	Daniele Zucchelli, Enrica Nicolini	A Decidability Result for the Model Checking of Infinite-State Systems.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
14	Véronique Cortier, Stéphanie Delaune	Decidability and Combination Results for Two Notions of Knowledge in Security Protocols.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
14	Yannick Chevalier, Michaël Rusinowitch	Decidability of Equivalence of Symbolic Derivations.	J. Autom. Reason.	2012	DBLP DOI BibTeX RDF
14	Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Marco Manna	Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.	Theory Pract. Log. Program.	2012	DBLP DOI BibTeX RDF
14	David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus	Decidability and complexity for ω-regular properties of stochastic systems.	Log. J. IGPL	2012	DBLP DOI BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Julien Provillard	Non-uniform cellular automata: Classes, dynamics, and decidability.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
14	Shibashis Guha, Chinmay Narayan, S. Arun-Kumar 0004	On Decidability of Prebisimulation for Timed Automata.	CAV	2012	DBLP DOI BibTeX RDF
14	Faming Lu, Qingtian Zeng, Hao Zhang, Yunxia Bao, Jiufang An	Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets.	SEKE	2012	DBLP BibTeX RDF
14	Petr Jancar	Decidability of DPDA Language Equivalence via First-Order Grammars.	LICS	2012	DBLP DOI BibTeX RDF
14	Sicun Gao, Jeremy Avigad, Edmund M. Clarke	Delta-Decidability over the Reals.	LICS	2012	DBLP DOI BibTeX RDF
14	Adam Kozaný	On Decidability Results in Point Mutation Colonies with Restricted Rules.	IJCCI (Selected Papers)	2012	DBLP DOI BibTeX RDF
14	Lakhdar Akroun, Boualem Benatallah, Lhouari Nourine, Farouk Toumani	On Decidability of Simulation in Data-Centeric Business Protocols.	Business Process Management Workshops	2012	DBLP DOI BibTeX RDF
14	Marie-Pierre Béal, Jean-Marc Champarnaud, Jean-Philippe Dubernard, Hadrien Jeanne, Sylvain Lombardy	Decidability of Geometricity of Regular Languages.	Developments in Language Theory	2012	DBLP DOI BibTeX RDF
14	Silvio Ranise, Alessandro Armando	On the Automated Analysis of Safety in Usage Control: A New Decidability Result.	NSS	2012	DBLP DOI BibTeX RDF
14	Pascal Fontaine, Stephan Merz, Christoph Weidenbach	Combination of Disjoint Theories: Beyond Decidability.	IJCAR	2012	DBLP DOI BibTeX RDF
14	Klaus-Dieter Schewe, Qing Wang 0002	On the Decidability and Complexity of Identity Knowledge Representation.	DASFAA (1)	2012	DBLP DOI BibTeX RDF
14	Christopher H. Broadbent	The Limits of Decidability for First Order Logic on CPDA Graphs.	STACS	2012	DBLP DOI BibTeX RDF
14	Atsushi Ohta, Kohkichi Tsuji	Decidability Analysis of Some Classes of Extended Function Petri Net.	ICNC	2012	DBLP DOI BibTeX RDF
14	Andrea Asperti	A Compact Proof of Decidability for Regular Expression Equivalence.	ITP	2012	DBLP DOI BibTeX RDF
14	Joanna Golinska-Pilarek	On Decidability of a Logic for Order of Magnitude Qualitative Reasoning with Bidirectional Negligibility.	JELIA	2012	DBLP DOI BibTeX RDF
14	Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro	Decidability Problems for Actor Systems.	CONCUR	2012	DBLP DOI BibTeX RDF
14	Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar	MSO Decidability of Multi-Pushdown Systems via Split-Width.	CONCUR	2012	DBLP DOI BibTeX RDF
14	Nathalie Bertrand 0001, Giorgio Delzanno, Barbara König 0001, Arnaud Sangnier, Jan Stückrath	On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.	RTA	2012	DBLP DOI BibTeX RDF
14	Martin Kutrib, Andreas Malcher, Giovanni Pighizzini	Oblivious Two-Way Finite Automata: Decidability and Complexity.	LATIN	2012	DBLP DOI BibTeX RDF
14	Pierre Fraigniaud, Andrzej Pelc	Decidability Classes for Mobile Agents Computing.	LATIN	2012	DBLP DOI BibTeX RDF
14	Takahito Aoto 0001, Jeroen Ketema	Rational Term Rewriting Revisited: Decidability and Confluence.	ICGT	2012	DBLP DOI BibTeX RDF
14	German Tischler, Jürgen Wolff von Gudenberg	Solving Decidability Problems with Interval Arithmetic.	Reliab. Comput.	2011	DBLP BibTeX RDF
14	Sebastian Danicic, Robert M. Hierons, Michael R. Laurence	Decidability of strong equivalence for subschemas of a class of linear, free, near-liberal program schemas.	J. Log. Algebraic Methods Program.	2011	DBLP DOI BibTeX RDF
14	Joseph Flenner	Relative decidability and definability in henselian valued fields.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
14	Gareth Jones, Tamara Servi	On the decidability of the real field with a generic power function.	J. Symb. Log.	2011	DBLP DOI BibTeX RDF
14	Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone	Finitely recursive programs: Decidability and bottom-up computation.	AI Commun.	2011	DBLP DOI BibTeX RDF
14	Stefan Wehr, Peter Thiemann 0001	On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints.	New Gener. Comput.	2011	DBLP DOI BibTeX RDF
14	Piero A. Bonatti	On the decidability of FDNC programs.	Intelligenza Artificiale	2011	DBLP DOI BibTeX RDF
14	Daowen Qiu, Lvzhou Li, Xiangfu Zou, Paulo Mateus, Jozef Gruska	Multi-letter quantum finite automata: decidability of the equivalence and minimization of states.	Acta Informatica	2011	DBLP DOI BibTeX RDF
14	Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat	On rules with existential variables: Walking the decidability line.	Artif. Intell.	2011	DBLP DOI BibTeX RDF
14	Fernando Rosa-Velardo, David de Frutos-Escrig	Decidability and complexity of Petri nets with unordered data.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
14	Olivier Finkel	On Decidability Properties of One-Dimensional Cellular Automata.	J. Cell. Autom.	2011	DBLP BibTeX RDF
14	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Decidability and Undecidability Results for Propositional Schemata.	J. Artif. Intell. Res.	2011	DBLP DOI BibTeX RDF
14	H. J. Sander Bruggink, Mathias Hülsbusch	Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2011	DBLP DOI BibTeX RDF
14	Levent Alpoge, Thomas Ang, Luke Schaeffer, Jeffrey O. Shallit	Decidability and Shortest Strings in Formal Languages	CoRR	2011	DBLP BibTeX RDF
14	Vesa Halava, Tero Harju, Tomi Kärki	A new proof for the decidability of D0L ultimate periodicity	WORDS	2011	DBLP DOI BibTeX RDF
14	Ka. Shrinivaasan	Decidability of Existence and Construction of a Complement of a given Function	CoRR	2011	DBLP BibTeX RDF
14	Fabien Durand	Decidability of the HD0L ultimate periodicity problem	CoRR	2011	DBLP BibTeX RDF
14	Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol	The Decidability Frontier for Probabilistic Automata on Infinite Words	CoRR	2011	DBLP BibTeX RDF
14	Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev	On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces	CoRR	2011	DBLP BibTeX RDF
14	Alberto Dennunzio, Enrico Formenti, Julien Provillard	Non-Uniform Cellular Automata: classes, dynamics, and decidability	CoRR	2011	DBLP BibTeX RDF
14	Petr Hájek 0001	Comments on Interpretability and Decidability in Fuzzy Logic.	J. Log. Comput.	2011	DBLP DOI BibTeX RDF
14	Wil M. P. van der Aalst, Kees M. van Hee, Arthur H. M. ter Hofstede, Natalia Sidorova, H. M. W. Verbeek, Marc Voorhoeve, Moe Thandar Wynn	Soundness of workflow nets: classification, decidability, and analysis.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
14	Ivan Lanese, Jorge A. Pérez 0001, Davide Sangiorgi, Alan Schmitt	On the expressiveness and decidability of higher-order process calculi.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
14	Didier Galmiche, Yakoub Salhi	Sequent calculi and decidability for intuitionistic hybrid logic.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
14	Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran	Automatic decidability and combinability.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
14	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Decidability of operation problems for T0L languages and subclasses.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
14	Wesley H. Holliday, Tomohiro Hoshi, Thomas F. Icard III	Schematic Validity in Dynamic Epistemic Logic: Decidability.	LORI	2011	DBLP DOI BibTeX RDF