Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Alexander N. Rybalov |
On the Generic Undecidability of the Halting Problem for Normalized Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 60(4), pp. 671-676, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07408, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.05060, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Jörg Endrullis, Jeffrey O. Shallit, Tim Smith |
Undecidability and Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.01394, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Vladik Kreinovich |
Why some physicists are excited about the undecidability of the spectral gap problem and why should we. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 122, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Simon Castellan, Pierre Clairambault, Peter Dybjer |
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(4), 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PeerJ Prepr. ![In: PeerJ Prepr. 5, pp. e2690, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Arthur Milchior |
Undecidability of satisfiability of expansions of FO[<] over words with a FO[+]-definable set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 6(4), pp. 333-363, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Evgeny Zolin |
Undecidability of the transitive graded modal logic with converse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 27(5), pp. 1399-1420, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of asynchronous session subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 256, pp. 300-320, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | K. Vela Velupillai |
Algorithmic Economics: Incomputability, Undecidability and Unsolvability in Economics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Incomputable ![In: The Incomputable: Journeys Beyond the Turing Barrier, pp. 105-120, 2017, Springer International Publishing, 978-3-319-43667-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Julien Lange, Nobuko Yoshida |
On the Undecidability of Asynchronous Session Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, pp. 441-457, 2017, 978-3-662-54457-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Jeffrey O. Shallit, Tim Smith |
Undecidability and Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DLT ![In: Developments in Language Theory - 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings, pp. 160-172, 2017, Springer, 978-3-319-62808-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory - 21st International Symposium, FCT 2017, Bordeaux, France, September 11-13, 2017, Proceedings, pp. 326-340, 2017, Springer, 978-3-662-55750-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Carlos Areces, Raul Fervari, Guillaume Hoffmann 0001, Mauricio Martel |
Undecidability of Relation-Changing Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALI@TABLEAUX ![In: Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings, pp. 1-16, 2017, Springer, 978-3-319-73578-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Max I. Kanovich |
The undecidability theorem for the Horn-like fragment of linear logic (Revisited). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(5), pp. 719-744, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Slawomir Lasota 0001, Marcin Poturalski |
Undecidability of performance equivalence of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 655, pp. 109-119, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ågotnes, Hans van Ditmarsch, Timothy Noel French |
The Undecidability of Quantified Announcements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 104(4), pp. 597-640, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Hans van Ditmarsch, Wiebe van der Hoek, Louwe B. Kuijer |
The Undecidability of Arbitrary Arrow Update Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.05686, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek calculus with subexponentials and bracket modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1608.04020, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Vijay Ganesh, Murphy Berzish |
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1605.09442, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Reino Niskanen, Igor Potapov, Julien Reichert |
Undecidability of Two-dimensional Robot Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1604.08779, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Armando B. Matos |
Primitive recursive functions versus partial recursive functions: comparing the degree of undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.01686, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Mario Bravetti, Marco Carbone, Gianluigi Zavattaro |
Undecidability of Asynchronous Session Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.05026, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek calculus with a relevant modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.06303, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Peter Buser, Bruno Scarpellini |
Undecidability through Fourier series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 167(7), pp. 507-524, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Bausch |
Undecidability of the spectral gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XRDS ![In: XRDS 23(1), pp. 57-61, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Judith Gal-Ezer, Mark B. Trakhtenbrot |
Reduction Patterns: A Practical Tool for Proving Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016, pp. 355, 2016, ACM, 978-1-4503-4231-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Reino Niskanen, Igor Potapov, Julien Reichert |
Undecidability of Two-dimensional Robot Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, pp. 73:1-73:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-016-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Sebastian Rudolph |
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25-29, 2016., pp. 247-257, 2016, AAAI Press, 978-1-57735-755-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Sebastian Rudolph |
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov |
Undecidability of the Lambek Calculus with a Relevant Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: Formal Grammar - 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings, pp. 240-256, 2016, Springer, 978-3-662-53041-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Cristian S. Calude, Declan Thompson |
Incompleteness, Undecidability and Automated Proofs - (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings, pp. 134-155, 2016, Springer, 978-3-319-45640-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Karel Chvalovský |
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(2), pp. 567-586, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Matthew Moore |
The Undecidability of the Definability of Principal Subcongruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 80(2), pp. 384-432, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Sergey Paramonov 0002 |
Undecidability of the uniqueness testing problem for analytic solutions of PLDE with boundary conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Commun. Comput. Algebra ![In: ACM Commun. Comput. Algebra 49(1), pp. 27, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Simon Castellan, Pierre Clairambault, Peter Dybjer |
Undecidability of Equality in the Free Locally Cartesian Closed Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.03995, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Guillaume Hoffmann 0001 |
Undecidability of a Very Simple Modal Logic with Binding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.03630, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Lila Kari, Stavros Konstantinidis, Steffen Kopecki |
Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.00035, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. ![In: Inf. Syst. 48, pp. 113-129, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Grigoriy V. Bokov |
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 23(2), pp. 341-353, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Heinrich Ody |
Undecidability Results for Multi-Lane Spatial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium Cali, Colombia, October 29-31, 2015, Proceedings, pp. 404-421, 2015, Springer, 978-3-319-25149-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Simon Castellan, Pierre Clairambault, Peter Dybjer |
Undecidability of Equality in the Free Locally Cartesian Closed Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: 13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland, pp. 138-152, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-87-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lila Kari, Stavros Konstantinidis, Steffen Kopecki |
Transducer Descriptions of DNA Code Properties and Undecidability of Antimorphic Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings, pp. 141-152, 2015, Springer, 978-3-319-19224-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Turlough Neary |
Undecidability in Binary Tag Systems and the Post Correspondence Problem for Five Pairs of Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany, pp. 649-661, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-78-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Angelo Montanari, Emilio Muñoz-Velasco, Guido Sciavicco |
Undecidability of Chop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015, pp. 79-89, 2015, IEEE Computer Society, 978-1-4673-9317-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Máté Szabó |
Kalmár and Péter: Undecidability as a Consequence of Incompleteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings, pp. 343-352, 2015, Springer, 978-3-319-20027-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 2840-2846, 2015, AAAI Press, 978-1-57735-738-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Jerzy Marcinkowski, Jakub Michaliszyn |
The Undecidability of the Logic of Subintervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 131(2), pp. 217-240, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Richard Müller 0001, Christian Stahl, Walter Vogler |
Undecidability of accordance for open systems with unbounded message queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 114(12), pp. 663-669, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Asher M. Kach, Antonio Montalbán |
Undecidability of the Theories of Classes of Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 79(4), pp. 1001-1019, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 71(1-3), pp. 41-83, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | James Brotherston, Max I. Kanovich |
Undecidability of Propositional Separation Logic and Its Neighbours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 61(2), pp. 14:1-14:43, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Evgeny Zolin |
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 102(5), pp. 1021-1039, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava |
Another proof of undecidability for the correspondence decision problem - Had I been Emil Post. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.5197, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi 0001 |
Improved Undecidability Results for Reachability Games on Recursive Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GandALF ![In: Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014., pp. 245-259, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Kaustuv Chaudhuri |
Undecidability of Multiplicative Subexponential Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LINEARITY ![In: Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014., pp. 1-8, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Grigoriy V. Bokov |
Undecidability of the problem of recognizing axiomatizations for implicative propositional calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1407.7010, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | James Belk, Collin Bleak |
Some undecidability results for asynchronous transducers and the Brin-Thompson group 2V. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1405.0982, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0349, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Decidability and Undecidability Results for Propositional Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1401.3900, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | David Toman 0001, Grant E. Weddell |
Undecidability of Finite Model Reasoning in DLFD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.4468, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Vesa Halava, Reino Niskanen, Igor Potapov |
On Undecidability of Counter Reachability Games in Dimension One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1411.4796, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.0644, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Nageswara S. V. Rao |
On Undecidability Aspects of Resilient Computations and Implications to Exascale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops (1) ![In: Euro-Par 2014: Parallel Processing Workshops - Euro-Par 2014 International Workshops, Porto, Portugal, August 25-26, 2014, Revised Selected Papers, Part I, pp. 511-522, 2014, Springer, 978-3-319-14324-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ågotnes, Hans van Ditmarsch, Tim French 0002 |
The undecidability of group announcements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014, pp. 893-900, 2014, IFAAMAS/ACM, 978-1-4503-2738-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Arto Salomaa, Kai Salomaa, Sheng Yu 0001 |
Undecidability of state complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Math. ![In: Int. J. Comput. Math. 90(6), pp. 1310-1320, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Laurent Bienvenu, Adam R. Day, Rupert Hölzl 0001 |
From bi-immunity to absolute undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 78(4), pp. 1218-1228, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Dominique Larchey-Wendling, Didier Galmiche |
Nondeterministic Phase Semantics and the Undecidability of Boolean BI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 14(1), pp. 6:1-6:41, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava, Tero Harju |
New proof for the undecidability of the circular PCP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 50(5-6), pp. 331-341, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Turlough Neary |
Undecidability in binary tag systems and the Post correspondence problem for four pairs of words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.6700, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Matthew Moore |
The Undecidability of the Definability of Principal Subcongruences ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1301.5588, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Petr Jancar, Jirí Srba |
Note on Undecidability of Bisimilarity for Second-Order Pushdown Processes ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.0780, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Urban Larsson |
Impartial games emulating one-dimensional cellular automata and undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 120(5), pp. 1116-1130, 2013. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Symposium on Theory of Computing Conference, STOC'13, Palo Alto, CA, USA, June 1-4, 2013, pp. 595-604, 2013, ACM, 978-1-4503-2029-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
17 | Guillaume Aucher, Thomas Bolander |
Undecidability in Epistemic Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 27-33, 2013, IJCAI/AAAI, 978-1-57735-633-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
17 | Pietro di Lena, Luciano Margara |
On the Undecidability of Attractor Properties for Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 115(1), pp. 75-85, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Endre Csóka |
An Undecidability Result on Limits of Sparse Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 19(2), pp. 21, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Robin Hirsch, Marcel Jackson |
Undecidability of representability as binary relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 77(4), pp. 1211-1244, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 22(3), 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 18(20), pp. 2798-2831, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Mingzhong Cai, Richard A. Shore, Theodore A. Slaman |
The n-R.E. Degrees: Undecidability and σ1 Substructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Math. Log. ![In: J. Math. Log. 12(1), pp. 1250005, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Kirsten |
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 420, pp. 56-63, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Tomás Masopust |
A Note on Undecidability of Observation Consistency for Non-Regular Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.1754, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Urban Larsson |
Impartial games emulating one-dimensional cellular automata and undecidability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.1039, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Emmanuel Jeandel, Nicolas Rolin |
Fixed Parameter Undecidability for Wang Tilesets ![Search on Bibsonomy](Pics/bibsonomy.png) |
AUTOMATA & JAC ![In: Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012., pp. 69-85, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jarkko Kari |
Decidability and undecidability in cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 41(6), pp. 539-554, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 23(7), pp. 1481-1498, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Jing Dong, Qinghui Liu |
Undecidability of infinite post correspondence problem for instances of size 8. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 46(3), pp. 451-457, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 18(1), pp. 51-55, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 218, pp. 69-87, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RC ![In: Reversible Computation, 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. Revised Papers, pp. 44-56, 2012, Springer, 978-3-642-36314-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2012 - 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings, pp. 243-258, 2012, Springer, 978-3-642-32942-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Arto Salomaa |
Undecidability of State Complexities Using Mirror Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Languages Alive ![In: Languages Alive - Essays Dedicated to Jürgen Dassow on the Occasion of His 65th Birthday, pp. 221-235, 2012, Springer, 978-3-642-31643-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Valentin Goranko |
Undecidability and Temporal Logic: Some Landmarks from Turing to the Present. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012, pp. 3-4, 2012, IEEE Computer Society, 978-1-4673-2659-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Borgwardt, Rafael Peñaloza |
Undecidability of Fuzzy Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KR ![In: Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012, AAAI Press, 978-1-57735-560-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
17 | Christopher H. Broadbent, Stefan Göller |
On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India, pp. 160-172, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-47-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
Decidability and Undecidability Results for Propositional Schemata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 40, pp. 599-656, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.5886, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj |
Pushing undecidability of the isolation problem for probabilistic automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.3054, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|