Search results for "undecidability"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Alexander N. Rybalov	On the Generic Undecidability of the Halting Problem for Normalized Turing Machines.	Theory Comput. Syst.	2017	DBLP DOI BibTeX RDF
17	Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter	Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness.	CoRR	2017	DBLP BibTeX RDF
17	Mikhail N. Rybakov, Dmitry Shkatov	Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter.	CoRR	2017	DBLP BibTeX RDF
17	Jörg Endrullis, Jeffrey O. Shallit, Tim Smith	Undecidability and Finite Automata.	CoRR	2017	DBLP BibTeX RDF
17	Vladik Kreinovich	Why some physicists are excited about the undecidability of the spectral gap problem and why should we.	Bull. EATCS	2017	DBLP BibTeX RDF
17	Simon Castellan, Pierre Clairambault, Peter Dybjer	Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).	Log. Methods Comput. Sci.	2017	DBLP DOI BibTeX RDF
17	Soumya Banerjee 0003	An artificial immune system approach to automated program verification: Towards a theory of undecidability in biological computing.	PeerJ Prepr.	2017	DBLP DOI BibTeX RDF
17	Arthur Milchior	Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set.	Comput.	2017	DBLP DOI BibTeX RDF
17	Evgeny Zolin	Undecidability of the transitive graded modal logic with converse.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
17	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	Undecidability of asynchronous session subtyping.	Inf. Comput.	2017	DBLP DOI BibTeX RDF
17	K. Vela Velupillai	Algorithmic Economics: Incomputability, Undecidability and Unsolvability in Economics.	The Incomputable	2017	DBLP DOI BibTeX RDF
17	Julien Lange, Nobuko Yoshida	On the Undecidability of Asynchronous Session Subtyping.	FoSSaCS	2017	DBLP DOI BibTeX RDF
17	Jörg Endrullis, Jeffrey O. Shallit, Tim Smith	Undecidability and Finite Automata.	DLT	2017	DBLP DOI BibTeX RDF
17	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities.	FCT	2017	DBLP DOI BibTeX RDF
17	Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001, Mauricio Martel	Undecidability of Relation-Changing Modal Logics.	DALI@TABLEAUX	2017	DBLP DOI BibTeX RDF
17	Max I. Kanovich	The undecidability theorem for the Horn-like fragment of linear logic (Revisited).	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Slawomir Lasota 0001, Marcin Poturalski	Undecidability of performance equivalence of Petri nets.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
17	Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French	The Undecidability of Quantified Announcements.	Stud Logica	2016	DBLP DOI BibTeX RDF
17	Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer	The Undecidability of Arbitrary Arrow Update Logic.	CoRR	2016	DBLP BibTeX RDF
17	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek calculus with subexponentials and bracket modalities.	CoRR	2016	DBLP BibTeX RDF
17	Vijay Ganesh, Murphy Berzish	Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion.	CoRR	2016	DBLP BibTeX RDF
17	Reino Niskanen, Igor Potapov, Julien Reichert	Undecidability of Two-dimensional Robot Games.	CoRR	2016	DBLP BibTeX RDF
17	Armando B. Matos	Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability.	CoRR	2016	DBLP BibTeX RDF
17	Mario Bravetti, Marco Carbone, Gianluigi Zavattaro	Undecidability of Asynchronous Session Subtyping.	CoRR	2016	DBLP BibTeX RDF
17	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek calculus with a relevant modality.	CoRR	2016	DBLP BibTeX RDF
17	Peter Buser, Bruno Scarpellini	Undecidability through Fourier series.	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
17	Johannes Bausch	Undecidability of the spectral gap.	XRDS	2016	DBLP DOI BibTeX RDF
17	Judith Gal-Ezer, Mark B. Trakhtenbrot	Reduction Patterns: A Practical Tool for Proving Undecidability.	ITiCSE	2016	DBLP DOI BibTeX RDF
17	Reino Niskanen, Igor Potapov, Julien Reichert	Undecidability of Two-dimensional Robot Games.	MFCS	2016	DBLP DOI BibTeX RDF
17	Sebastian Rudolph	Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics.	KR	2016	DBLP BibTeX RDF
17	Sebastian Rudolph	The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics.	Description Logics	2016	DBLP BibTeX RDF
17	Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov	Undecidability of the Lambek Calculus with a Relevant Modality.	FG	2016	DBLP DOI BibTeX RDF
17	Cristian S. Calude, Declan Thompson	Incompleteness, Undecidability and Automated Proofs - (Invited Talk).	CASC	2016	DBLP DOI BibTeX RDF
17	Karel Chvalovský	Undecidability of Consequence Relation in Full non-Associative Lambek Calculus.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
17	Matthew Moore	The Undecidability of the Definability of Principal Subcongruences.	J. Symb. Log.	2015	DBLP DOI BibTeX RDF
17	Sergey Paramonov 0002	Undecidability of the uniqueness testing problem for analytic solutions of PLDE with boundary conditions.	ACM Commun. Comput. Algebra	2015	DBLP DOI BibTeX RDF
17	Simon Castellan, Pierre Clairambault, Peter Dybjer	Undecidability of Equality in the Free Locally Cartesian Closed Category.	CoRR	2015	DBLP BibTeX RDF
17	Guillaume Hoffmann 0001	Undecidability of a Very Simple Modal Logic with Binding.	CoRR	2015	DBLP BibTeX RDF
17	Lila Kari, Stavros Konstantinidis, Steffen Kopecki	Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems.	CoRR	2015	DBLP BibTeX RDF
17	Ingo Feinerer, Reinhard Pichler, Emanuel Sallinger, Vadim Savenkov	On the undecidability of the equivalence of second-order tuple generating dependencies.	Inf. Syst.	2015	DBLP DOI BibTeX RDF
17	Grigoriy V. Bokov	Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication.	Log. J. IGPL	2015	DBLP DOI BibTeX RDF
17	Heinrich Ody	Undecidability Results for Multi-Lane Spatial Logic.	ICTAC	2015	DBLP DOI BibTeX RDF
17	Simon Castellan, Pierre Clairambault, Peter Dybjer	Undecidability of Equality in the Free Locally Cartesian Closed Category.	TLCA	2015	DBLP DOI BibTeX RDF
17	Lila Kari, Stavros Konstantinidis, Steffen Kopecki	Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems.	DCFS	2015	DBLP DOI BibTeX RDF
17	Turlough Neary	Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words.	STACS	2015	DBLP DOI BibTeX RDF
17	Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco	Undecidability of Chop.	TIME	2015	DBLP DOI BibTeX RDF
17	Máté Szabó	Kalmár and Péter: Undecidability as a Consequence of Incompleteness.	CiE	2015	DBLP DOI BibTeX RDF
17	Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski	On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies.	IJCAI	2015	DBLP BibTeX RDF
17	Jerzy Marcinkowski, Jakub Michaliszyn	The Undecidability of the Logic of Subintervals.	Fundam. Informaticae	2014	DBLP DOI BibTeX RDF
17	Richard Müller 0001, Christian Stahl, Walter Vogler	Undecidability of accordance for open systems with unbounded message queues.	Inf. Process. Lett.	2014	DBLP DOI BibTeX RDF
17	Asher M. Kach, Antonio Montalbán	Undecidability of the Theories of Classes of Structures.	J. Symb. Log.	2014	DBLP DOI BibTeX RDF
17	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	The dark side of interval temporal logic: marking the undecidability border.	Ann. Math. Artif. Intell.	2014	DBLP DOI BibTeX RDF
17	James Brotherston, Max I. Kanovich	Undecidability of Propositional Separation Logic and Its Neighbours.	J. ACM	2014	DBLP DOI BibTeX RDF
17	Evgeny Zolin	Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.	Stud Logica	2014	DBLP DOI BibTeX RDF
17	Vesa Halava	Another proof of undecidability for the correspondence decision problem - Had I been Emil Post.	CoRR	2014	DBLP BibTeX RDF
17	Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001	Improved Undecidability Results for Reachability Games on Recursive Timed Automata.	GandALF	2014	DBLP DOI BibTeX RDF
17	Kaustuv Chaudhuri	Undecidability of Multiplicative Subexponential Logic.	LINEARITY	2014	DBLP DOI BibTeX RDF
17	Grigoriy V. Bokov	Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi.	CoRR	2014	DBLP BibTeX RDF
17	James Belk, Collin Bleak	Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V.	CoRR	2014	DBLP BibTeX RDF
17	Tony Tan, Jan Van den Bussche, Xiaowang Zhang	Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference.	CoRR	2014	DBLP BibTeX RDF
17	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Decidability and Undecidability Results for Propositional Schemata.	CoRR	2014	DBLP BibTeX RDF
17	David Toman 0001, Grant E. Weddell	Undecidability of Finite Model Reasoning in DLFD.	CoRR	2014	DBLP BibTeX RDF
17	Vesa Halava, Reino Niskanen, Igor Potapov	On Undecidability of Counter Reachability Games in Dimension One.	CoRR	2014	DBLP BibTeX RDF
17	Julien Cassaigne, Vesa Halava, Tero Harju, François Nicolas	Tighter Undecidability Bounds for Matrix Mortality, Zero-in-the-Corner Problems, and More.	CoRR	2014	DBLP BibTeX RDF
17	Nageswara S. V. Rao	On Undecidability Aspects of Resilient Computations and Implications to Exascale.	Euro-Par Workshops (1)	2014	DBLP DOI BibTeX RDF
17	Thomas Ågotnes, Hans van Ditmarsch, Tim French 0002	The undecidability of group announcements.	AAMAS	2014	DBLP BibTeX RDF
17	Arto Salomaa, Kai Salomaa, Sheng Yu 0001	Undecidability of state complexity.	Int. J. Comput. Math.	2013	DBLP DOI BibTeX RDF
17	Laurent Bienvenu, Adam R. Day, Rupert Hölzl 0001	From bi-immunity to absolute undecidability.	J. Symb. Log.	2013	DBLP DOI BibTeX RDF
17	Dominique Larchey-Wendling, Didier Galmiche	Nondeterministic Phase Semantics and the Undecidability of Boolean BI.	ACM Trans. Comput. Log.	2013	DBLP DOI BibTeX RDF
17	Vesa Halava, Tero Harju	New proof for the undecidability of the circular PCP.	Acta Informatica	2013	DBLP DOI BibTeX RDF
17	Turlough Neary	Undecidability in binary tag systems and the Post correspondence problem for four pairs of words.	CoRR	2013	DBLP BibTeX RDF
17	Matthew Moore	The Undecidability of the Definability of Principal Subcongruences	CoRR	2013	DBLP BibTeX RDF
17	Petr Jancar, Jirí Srba	Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes	CoRR	2013	DBLP BibTeX RDF
17	Urban Larsson	Impartial games emulating one-dimensional cellular automata and undecidability.	J. Comb. Theory, Ser. A	2013	DBLP DOI BibTeX RDF
17	Martin Cadek, Marek Krcál, Jirí Matousek 0001, Lukás Vokrínek, Uli Wagner 0001	Extending continuous maps: polynomiality and undecidability.	STOC	2013	DBLP DOI BibTeX RDF
17	Guillaume Aucher, Thomas Bolander	Undecidability in Epistemic Planning.	IJCAI	2013	DBLP BibTeX RDF
17	Pietro di Lena, Luciano Margara	On the Undecidability of Attractor Properties for Cellular Automata.	Fundam. Informaticae	2012	DBLP DOI BibTeX RDF
17	Endre Csóka	An Undecidability Result on Limits of Sparse Graphs.	Electron. J. Comb.	2012	DBLP DOI BibTeX RDF
17	Robin Hirsch, Marcel Jackson	Undecidability of representability as binary relations.	J. Symb. Log.	2012	DBLP DOI BibTeX RDF
17	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
17	Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers.	J. Univers. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Mingzhong Cai, Richard A. Shore, Theodore A. Slaman	The n-R.E. Degrees: Undecidability and σ1 Substructures.	J. Math. Log.	2012	DBLP DOI BibTeX RDF
17	Daniel Kirsten	Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Tomás Masopust	A Note on Undecidability of Observation Consistency for Non-Regular Languages	CoRR	2012	DBLP BibTeX RDF
17	Urban Larsson	Impartial games emulating one-dimensional cellular automata and undecidability	CoRR	2012	DBLP BibTeX RDF
17	Emmanuel Jeandel, Nicolas Rolin	Fixed Parameter Undecidability for Wang Tilesets	AUTOMATA & JAC	2012	DBLP DOI BibTeX RDF
17	Jarkko Kari	Decidability and undecidability in cellular automata.	Int. J. Gen. Syst.	2012	DBLP DOI BibTeX RDF
17	Olivier Finkel	Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular ω-Language.	Int. J. Found. Comput. Sci.	2012	DBLP DOI BibTeX RDF
17	Jing Dong, Qinghui Liu	Undecidability of infinite post correspondence problem for instances of size 8.	RAIRO Theor. Informatics Appl.	2012	DBLP DOI BibTeX RDF
17	Ying-Fang Kao, V. Ragupathy, K. Vela Velupillai, Stefano Zambelli	Noncomputability, unpredictability, undecidability, and unsolvability in economic and finance theories.	Complex.	2012	DBLP DOI BibTeX RDF
17	Ken-etsu Fujita, Aleksy Schubert	The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types.	Inf. Comput.	2012	DBLP DOI BibTeX RDF
17	Rodrigo Torres-Avilés, Nicolas Ollinger, Anahí Gajardo	Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine.	RC	2012	DBLP DOI BibTeX RDF
17	Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci	Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.	ICTAC	2012	DBLP DOI BibTeX RDF
17	Arto Salomaa	Undecidability of State Complexities Using Mirror Images.	Languages Alive	2012	DBLP DOI BibTeX RDF
17	Valentin Goranko	Undecidability and Temporal Logic: Some Landmarks from Turing to the Present.	TIME	2012	DBLP DOI BibTeX RDF
17	Stefan Borgwardt, Rafael Peñaloza	Undecidability of Fuzzy Description Logics.	KR	2012	DBLP BibTeX RDF
17	Christopher H. Broadbent, Stefan Göller	On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two.	FSTTCS	2012	DBLP DOI BibTeX RDF
17	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Decidability and Undecidability Results for Propositional Schemata.	J. Artif. Intell. Res.	2011	DBLP DOI BibTeX RDF
17	Olivier Finkel	Three Applications to Rational Relations of the High Undecidability of the Infinite Post Correspondence Problem in a Regular omega-Language.	CoRR	2011	DBLP BibTeX RDF
17	Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj	Pushing undecidability of the isolation problem for probabilistic automata	CoRR	2011	DBLP BibTeX RDF