Search results for "undecidability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Marco Cerami, Umberto Straccia	On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm	CoRR	2011	DBLP BibTeX RDF
17	Henning Bordihn, Martin Kutrib, Andreas Malcher	Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.	Int. J. Found. Comput. Sci.	2011	DBLP DOI BibTeX RDF
17	Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema	Levels of undecidability in rewriting.	Inf. Comput.	2011	DBLP DOI BibTeX RDF
17	Jerzy Marcinkowski, Jakub Michaliszyn	The Ultimate Undecidability Result for the Halpern-Shoham Logic.	LICS	2011	DBLP DOI BibTeX RDF
17	Arto Salomaa, Kai Salomaa, Sheng Yu 0001	Undecidability of the State Complexity of Composed Regular Operations.	LATA	2011	DBLP DOI BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.	TIME	2011	DBLP DOI BibTeX RDF
17	Franz Baader, Rafael Peñaloza	On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm.	FroCoS	2011	DBLP DOI BibTeX RDF
17	Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov	On the Undecidability of the Equivalence of Second-Order Tuple Generating Dependencies.	AMW	2011	DBLP BibTeX RDF
17	Dario Della Monica	Expressiveness, decidability, and undecidability of interval temporal logic.		2011	RDF
17	Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos	Undecidability and intractability results concerning datalog programs and their persistency numbers.	ACM Trans. Comput. Log.	2010	DBLP DOI BibTeX RDF
17	Pietro di Lena, Luciano Margara	On the undecidability of the limit behavior of Cellular Automata.	Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Artur Jez, Alexander Okhotin	Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth.	Theory Comput. Syst.	2010	DBLP DOI BibTeX RDF
17	Jörg Endrullis	Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability	CoRR	2010	DBLP BibTeX RDF
17	Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu	Undecidability Results for Finite Interactive Systems	CoRR	2010	DBLP BibTeX RDF
17	Paul C. Bell, Igor Potapov	On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups.	Int. J. Found. Comput. Sci.	2010	DBLP DOI BibTeX RDF
17	Alexis Goyet, Masami Hagiya, Yoshinori Tanabe	Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics.	WoLLIC	2010	DBLP DOI BibTeX RDF
17	Dominique Larchey-Wendling, Didier Galmiche	The Undecidability of Boolean BI through Phase Semantics.	LICS	2010	DBLP DOI BibTeX RDF	bunched logic, phase semantics, decidability, linear logic
17	Krishnendu Chatterjee, Thomas A. Henzinger	Probabilistic Automata on Infinite Words: Decidability and Undecidability Results.	ATVA	2010	DBLP DOI BibTeX RDF
17	Li Miao, Da-Fang Zhang	A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis.	FCST	2010	DBLP DOI BibTeX RDF	concurrent interprocedural program analysis, synchronization-sensitive analysis, undecidable problem, context-sensitive analysis
17	Henning Bordihn, Martin Kutrib, Andreas Malcher	Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.	Developments in Language Theory	2010	DBLP DOI BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability.	ECAI	2010	DBLP DOI BibTeX RDF
17	Ken-etsu Fujita, Aleksy Schubert	The Undecidability of Type Related Problems in Type-free Style System F.	RTA	2010	DBLP DOI BibTeX RDF
17	Maurice Margenstern	Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata.	RP	2010	DBLP DOI BibTeX RDF
17	Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov	Undecidability in Weihrauch Degrees.	CiE	2010	DBLP DOI BibTeX RDF
17	Jarkko Kari	Tiling Problem and Undecidability in Cellular Automata.	Encyclopedia of Complexity and Systems Science	2009	DBLP DOI BibTeX RDF
17	Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier	Undecidability Results for Timed Automata with Silent Transitions.	Fundam. Informaticae	2009	DBLP DOI BibTeX RDF
17	Leon Horsten, Philip D. Welch	The undecidability of propositional adaptive logic.	Synth.	2009	DBLP DOI BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings.	M4M	2009	DBLP DOI BibTeX RDF
17	K. Vela Velupillai	Uncomputability and undecidability in economic theory.	Appl. Math. Comput.	2009	DBLP DOI BibTeX RDF
17	Jörg Endrullis, Herman Geuvers, Hans Zantema	Degrees of Undecidability in Rewriting	CoRR	2009	DBLP BibTeX RDF
17	Slawomir Lasota 0001, Marcin Poturalski	Undecidability of performance equivalence of Petri nets.	CoRR	2009	DBLP BibTeX RDF
17	Victor L. Selivanov	Undecidability in Some Structures Related to Computation Theory.	J. Log. Comput.	2009	DBLP DOI BibTeX RDF
17	Leonard M. Adleman, Jarkko Kari, Lila Kari, Dustin Reishus, Petr Sosík	The Undecidability of the Infinite Ribbon Problem: Implications for Computing by Self-Assembly.	SIAM J. Comput.	2009	DBLP DOI BibTeX RDF
17	Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak	On Undecidability of Cyclic Scheduling Problems.	KSEM	2009	DBLP DOI BibTeX RDF	Diophantine problem, timetabling, cyclic scheduling, multi-criteria optimization
17	Neil Moore	The Halting Problem and Undecidability of Document Generation under Access Control for Tree Updates.	LATA	2009	DBLP DOI BibTeX RDF
17	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Undecidability of Operation Problems for T0L Languages and Subclasses.	LATA	2009	DBLP DOI BibTeX RDF
17	Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller	Undecidability of Coverability and Boundedness for Timed-Arc Petri Nets with Invariants.	MEMICS	2009	DBLP BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Undecidability of Interval Temporal Logics with the Overlap Modality.	TIME	2009	DBLP DOI BibTeX RDF
17	Sebastiaan Terwijn	Decidability and Undecidability in Probability Logic.	LFCS	2009	DBLP DOI BibTeX RDF
17	Catalin V. Bîrjoveanu	Secrecy for Bounded Security Protocols: Disequality Tests and an Intruder with Existentials Lead to Undecidability.	BCI	2009	DBLP DOI BibTeX RDF
17	Tony Tan	Pebble automata for data languages: separation, decidability, and undecidability.		2009	RDF
17	Arnaldo V. Moura, Guilherme A. Pinto	Classes of Timed Automata and the Undecidability of Universality.	Fundam. Informaticae	2008	DBLP BibTeX RDF
17	Rakesh M. Verma	New Undecidability Results for Properties of Term Rewrite Systems.	RULE	2008	DBLP DOI BibTeX RDF
17	Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf	Can I find a partner? Undecidability of partner existence for open nets.	Inf. Process. Lett.	2008	DBLP DOI BibTeX RDF
17	Yasuhito Tanaka	Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience).	Appl. Math. Comput.	2008	DBLP DOI BibTeX RDF
17	Paul Bell, Igor Potapov	On undecidability bounds for matrix decision problems.	Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
17	Nicolas Ollinger	Programmation et indécidabilités dans les systèmes complexes. (Programming and undecidability in complex systems).		2008	RDF
17	Ville Lukkarila	On undecidability of sensitivity of reversible cellular automata.	Automata	2008	DBLP BibTeX RDF
17	Caslav Brukner	Quantum Experiments Can Test Mathematical Undecidability.	UC	2008	DBLP DOI BibTeX RDF
17	Tim French 0002, Hans P. van Ditmarsch	Undecidability for arbitrary public announcement logic.	Advances in Modal Logic	2008	DBLP BibTeX RDF
17	Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu	Undecidability Results for Finite Interactive Systems.	SYNASC	2008	DBLP DOI BibTeX RDF
17	Jarkko Kari	On the Undecidability of the Tiling Problem.	SOFSEM	2008	DBLP DOI BibTeX RDF
17	Giorgio Bacci, Marino Miculan	Undecidability of Model Checking in Brane Logic.	DCM@ICALP	2007	DBLP DOI BibTeX RDF
17	Alexander N. Rybalov	On the strongly generic undecidability of the Halting Problem.	Theor. Comput. Sci.	2007	DBLP BibTeX RDF
17	Rodney G. Downey, Denis R. Hirschfeldt, Geoffrey LaForte	Undecidability of the structure of the Solovay degrees of c.e. reals.	J. Comput. Syst. Sci.	2007	DBLP DOI BibTeX RDF
17	David Gamarnik	On the Undecidability of Computing Stationary Distributions and Large Deviation Rates for Constrained Random Walks.	Math. Oper. Res.	2007	DBLP DOI BibTeX RDF
17	Vesa Halava, Tero Harju, Mika Hirvensalo	Undecidability Bounds for Integer Matrices Using Claus Instances.	Int. J. Found. Comput. Sci.	2007	DBLP DOI BibTeX RDF
17	Oleg V. Kudinov, Victor L. Selivanov	Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests.	J. Log. Comput.	2007	DBLP DOI BibTeX RDF
17	Philippe Narbel	Type sharing constraints and undecidability.	J. Funct. Program.	2007	DBLP DOI BibTeX RDF
17	Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi 0001	Task automata: Schedulability, decidability and undecidability.	Inf. Comput.	2007	DBLP DOI BibTeX RDF
17	Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller	Monadic Fragments of Gödel Logics: Decidability and Undecidability Results.	LPAR	2007	DBLP DOI BibTeX RDF
17	Stuart A. Kurtz, Janos Simon	The Undecidability of the Generalized Collatz Problem.	TAMC	2007	DBLP DOI BibTeX RDF
17	Matteo Cavaliere, Ömer Egecioglu, Oscar H. Ibarra, Mihai Ionescu, Gheorghe Paun, Sara Woodworth	Asynchronous Spiking Neural P Systems: Decidability and Undecidability.	DNA	2007	DBLP DOI BibTeX RDF
17	Mika Hirvensalo	Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
17	Vesa Halava, Tero Harju, Juhani Karhumäki	Undecidability in omega-Regular Languages.	Fundam. Informaticae	2006	DBLP BibTeX RDF
17	Martin Mundhenk, Thomas Schneider 0002	Undecidability of Multi-modal Hybrid Logics.	HyLo@FLoC	2006	DBLP DOI BibTeX RDF
17	Raymond R. Devillers, Laurent Van Begin	Boundedness undecidability for synchronized nets.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
17	Patricia Bouyer, Thomas Brihaye, Nicolas Markey	Improved undecidability results on weighted timed automata.	Inf. Process. Lett.	2006	DBLP DOI BibTeX RDF
17	Alessandro Artale	Reasoning on temporal class diagrams: Undecidability results.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification computer science, knowledge representation, database theory
17	Thomas Brihaye	A note on the undecidability of the reachability problem for o-minimal dynamical systems.	Math. Log. Q.	2006	DBLP DOI BibTeX RDF
17	Stéphanie Delaune	An undecidability result for AGh.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Luís Caires, Étienne Lozes	Elimination of quantifiers and undecidability in spatial logics for concurrency.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
17	Frank Wolter, Michael Zakharyaschev	Undecidability of the unification and admissibility problems for modal and description logics	CoRR	2006	DBLP BibTeX RDF
17	Vesa Halava, Tero Harju	Undecidability of infinite post correspondence problem for instances of Size 9.	RAIRO Theor. Informatics Appl.	2006	DBLP DOI BibTeX RDF
17	Jerzy Mycka, José Félix Costa	Undecidability over Continuous Time.	Log. J. IGPL	2006	DBLP DOI BibTeX RDF
17	Christian Herrmann 0003	Corrigendum to "On the undecidability of implications between embedded multivalued database dependencies" [Inform. and Comput. 122(1995) 221-235].	Inf. Comput.	2006	DBLP DOI BibTeX RDF
17	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
17	Johann Deneux	Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods.		2006	RDF
17	Roman Murawski	Decidability vs. undecidability. Logico-philosophico-historical remarks.	Ann. UMCS Informatica	2005	DBLP BibTeX RDF
17	Mojmír Kretínský, Vojtech Rehák, Jan Strejcek	Refining the Undecidability Border of Weak Bisimilarity.	INFINITY	2005	DBLP DOI BibTeX RDF
17	Andrzej S. Murawski	About the undecidability of program equivalence in finitary languages with state.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Idealized Algol, Game semantics, program equivalence
17	Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev	Undecidability of first-order intuitionistic and modal logics with two variables.	Bull. Symb. Log.	2005	DBLP DOI BibTeX RDF
17	Andrzej S. Murawski	Functions with local state: Regularity and undecidability.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
17	John G. Thistle	Undecidability in decentralized supervision.	Syst. Control. Lett.	2005	DBLP DOI BibTeX RDF
17	Andrzej S. Murawski	Functions with local state: from regularity to undecidability.	GALOP@ETAPS	2005	DBLP BibTeX RDF
17	Tim French 0002	Bisimulation Quantified Logics: Undecidability.	FSTTCS	2005	DBLP DOI BibTeX RDF
17	Vesa Halava, Tero Harju	Undecidability in matrices over Laurent polynomials.	Adv. Appl. Math.	2004	DBLP DOI BibTeX RDF
17	Piero A. Bonatti, Adriano Peron	On the undecidability of logics with converse, nominals, recursion and counting.	Artif. Intell.	2004	DBLP DOI BibTeX RDF
17	Michal Kunc	Undecidability of the trace coding problem and some decidable cases.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Yuzuru Sato, Takashi Ikegami	Undecidability in the Imitation Game.	Minds Mach.	2004	DBLP DOI BibTeX RDF
17	Ulisses Ferreira	On Turing's Proof of the Undecidability of the Halting Problem.	MSV/AMCS	2004	DBLP BibTeX RDF
17	Giovanni Conforti, Giorgio Ghelli	Decidability of Freshness, Undecidability of Revelation.	FoSSaCS	2004	DBLP DOI BibTeX RDF
17	Luís Caires, Étienne Lozes	Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.	CONCUR	2004	DBLP DOI BibTeX RDF
17	Magdalena Kacprzak	Undecidability of a Multi-Agent Logic.	Fundam. Informaticae	2003	DBLP BibTeX RDF
17	Pawel Urzyczyn	A Simple Proof of the Undecidability of Strong Normalisation.	Math. Struct. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Omid Madani, Steve Hanks, Anne Condon	On the undecidability of probabilistic planning and related stochastic optimization problems.	Artif. Intell.	2003	DBLP DOI BibTeX RDF
17	Andrea Cantini	The Undecidability of Grisin's Set Theory.	Stud Logica	2003	DBLP DOI BibTeX RDF
17	Olivier Finkel	Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations.	RAIRO Theor. Informatics Appl.	2003	DBLP DOI BibTeX RDF
17	Marcin Jurdzinski, Mogens Nielsen, Jirí Srba	Undecidability of domino games and hhp-bisimilarity.	Inf. Comput.	2003	DBLP DOI BibTeX RDF
17	Bruno Durand 0001, Enrico Formenti, Georges Varouchas	On undecidability of equicontinuity classification for cellular automata.	DMCS	2003	DBLP BibTeX RDF