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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1107.4212, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Henning Bordihn, Martin Kutrib, Andreas Malcher |
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 22(7), pp. 1577-1592, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Herman Geuvers, Jakob Grue Simonsen, Hans Zantema |
Levels of undecidability in rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 209(2), pp. 227-245, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Jerzy Marcinkowski, Jakub Michaliszyn |
The Ultimate Undecidability Result for the Halpern-Shoham Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada, pp. 377-386, 2011, IEEE Computer Society, 978-0-7695-4412-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Arto Salomaa, Kai Salomaa, Sheng Yu 0001 |
Undecidability of the State Complexity of Composed Regular Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings, pp. 489-498, 2011, Springer, 978-3-642-21253-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011, pp. 131-138, 2011, IEEE, 978-1-4577-1242-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
17 | Franz Baader, Rafael Peñaloza |
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings, pp. 55-70, 2011, Springer, 978-3-642-24363-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMW ![In: Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011, 2011, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
17 | Dario Della Monica |
Expressiveness, decidability, and undecidability of interval temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
17 | Stavros S. Cosmadakis, Eugénie Foustoucos, Anastasios Sidiropoulos |
Undecidability and intractability results concerning datalog programs and their persistency numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 11(2), pp. 12:1-12:29, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Pietro di Lena, Luciano Margara |
On the undecidability of the limit behavior of Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 411(7-9), pp. 1075-1084, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Artur Jez, Alexander Okhotin |
Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 46(1), pp. 27-58, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis |
Levels of Undecidability in Infinitary Rewriting: Normalization and Reachability ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1003.1057, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
17 | Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu |
Undecidability Results for Finite Interactive Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1001.0143, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 21(6), pp. 963-978, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings, pp. 148-160, 2010, Springer, 978-3-642-13823-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Dominique Larchey-Wendling, Didier Galmiche |
The Undecidability of Boolean BI through Phase Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 140-149, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings, pp. 1-16, 2010, Springer, 978-3-642-15642-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Li Miao, Da-Fang Zhang |
A New Proof for the Undecidability of Context-Sensitive Synchronization-Sensitive Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCST ![In: Fifth International Conference on Frontier of Computer Science and Technology, FCST 2010, Changchun, Jilin Province, China, August 18-22, 2010, pp. 291-296, 2010, IEEE Computer Society, 978-0-7695-4139-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings, pp. 88-99, 2010, Springer, 978-3-642-14454-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, pp. 695-700, 2010, IOS Press, 978-1-60750-605-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Ken-etsu Fujita, Aleksy Schubert |
The Undecidability of Type Related Problems in Type-free Style System F. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK, pp. 103-118, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-18-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Maurice Margenstern |
Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings, pp. 120-132, 2010, Springer, 978-3-642-15348-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov |
Undecidability in Weihrauch Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings, pp. 256-265, 2010, Springer, 978-3-642-13961-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
17 | Jarkko Kari |
Tiling Problem and Undecidability in Cellular Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Complexity and Systems Science ![In: Encyclopedia of Complexity and Systems Science, pp. 9158-9172, 2009, Springer, 978-0-387-75888-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier |
Undecidability Results for Timed Automata with Silent Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 92(1-2), pp. 1-25, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Leon Horsten, Philip D. Welch |
The undecidability of propositional adaptive logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 169(1), pp. 217-218, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 6th Workshop on Methods for Modalities, M4M-6 2009, Copenhagen, Denmark, November 12-14, 2009, pp. 65-81, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | K. Vela Velupillai |
Uncomputability and undecidability in economic theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 215(4), pp. 1404-1416, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Rewriting ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0902.4723, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Slawomir Lasota 0001, Marcin Poturalski |
Undecidability of performance equivalence of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0910.5819, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
17 | Victor L. Selivanov |
Undecidability in Some Structures Related to Computation Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 19(1), pp. 177-197, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Comput. ![In: SIAM J. Comput. 38(6), pp. 2356-2381, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Grzegorz Bocewicz, Robert Wójcik, Zbigniew Antoni Banaszak |
On Undecidability of Cyclic Scheduling Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Third International Conference, KSEM 2009, Vienna, Austria, November 25-27, 2009. Proceedings, pp. 310-321, 2009, Springer, 978-3-642-10487-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings, pp. 601-613, 2009, Springer, 978-3-642-00981-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Henning Bordihn, Markus Holzer 0001, Martin Kutrib |
Undecidability of Operation Problems for T0L Languages and Subclasses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings, pp. 236-246, 2009, Springer, 978-3-642-00981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMICS ![In: Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, November 13-15, 2009, Prestige Hotel, Znojmo, Czech Republic, 2009, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 88-95, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Sebastiaan Terwijn |
Decidability and Undecidability in Probability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 441-450, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCI ![In: 2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009, pp. 22-27, 2009, IEEE Computer Society, 978-0-7695-3783-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Tony Tan |
Pebble automata for data languages: separation, decidability, and undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
17 | Arnaldo V. Moura, Guilherme A. Pinto |
Classes of Timed Automata and the Undecidability of Universality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 82(1-2), pp. 171-184, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Rakesh M. Verma |
New Undecidability Results for Properties of Term Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RULE ![In: Ninth International Workshop on Rule-Based Programming, RULE 2008, Hagenberg, Austria, July 14-18, 2008, pp. 69-85, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 108(6), pp. 374-378, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Yasuhito Tanaka |
Undecidability of Uzawa equivalence theorem and LLPO (Lesser limited principle of omniscience). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 201(1-2), pp. 378-383, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Paul Bell, Igor Potapov |
On undecidability bounds for matrix decision problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 391(1-2), pp. 3-13, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Ollinger |
Programmation et indécidabilités dans les systèmes complexes. (Programming and undecidability in complex systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
17 | Ville Lukkarila |
On undecidability of sensitivity of reversible cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automata ![In: Automata 2008: Theory and Applications of Cellular Automata, Bristol, UK, June 12-14, 2008, pp. 100-105, 2008, Luniver Press, Frome, UK, 978-1-905986-16-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Caslav Brukner |
Quantum Experiments Can Test Mathematical Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computing, 7th International Conference, UC 2008, Vienna, Austria, August 25-28, 2008. Proceedings, pp. 1-5, 2008, Springer, 978-3-540-85193-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Tim French 0002, Hans P. van Ditmarsch |
Undecidability for arbitrary public announcement logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 7, papers from the seventh conference on `Advances in Modal Logic,` held in Nancy, France, 9-12 September 2008, pp. 23-42, 2008, College Publications, 978-1-904987-68-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
17 | Alexandru Sofronia, Alexandru Popa 0001, Gheorghe Stefanescu |
Undecidability Results for Finite Interactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008, pp. 366-369, 2008, IEEE Computer Society, 978-0-7695-3523-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jarkko Kari |
On the Undecidability of the Tiling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 74-82, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Giorgio Bacci, Marino Miculan |
Undecidability of Model Checking in Brane Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM@ICALP ![In: Proceedings of the Third International Workshop on Developments in Computational Models, DCM@ICALP 2007, Wroclaw, Poland, July 15, 2007, pp. 23-37, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alexander N. Rybalov |
On the strongly generic undecidability of the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 377(1-3), pp. 268-270, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 73(5), pp. 769-787, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | David Gamarnik |
On the Undecidability of Computing Stationary Distributions and Large Deviation Rates for Constrained Random Walks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Oper. Res. ![In: Math. Oper. Res. 32(2), pp. 257-265, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava, Tero Harju, Mika Hirvensalo |
Undecidability Bounds for Integer Matrices Using Claus Instances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 18(5), pp. 931-948, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Oleg V. Kudinov, Victor L. Selivanov |
Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(6), pp. 1135-1151, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Philippe Narbel |
Type sharing constraints and undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 17(2), pp. 207-214, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi 0001 |
Task automata: Schedulability, decidability and undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(8), pp. 1149-1172, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller |
Monadic Fragments of Gödel Logics: Decidability and Undecidability Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings, pp. 77-91, 2007, Springer, 978-3-540-75558-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Stuart A. Kurtz, Janos Simon |
The Undecidability of the Generalized Collatz Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007, Proceedings, pp. 542-553, 2007, Springer, 978-3-540-72503-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing, 13th International Meeting on DNA Computing, DNA13, Memphis, TN, USA, June 4-8, 2007, Revised Selected Papers, pp. 246-255, 2007, Springer, 978-3-540-77961-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Mika Hirvensalo |
Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM (1) ![In: SOFSEM 2007: Theory and Practice of Computer Science, 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings, pp. 309-319, 2007, Springer, 978-3-540-69506-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava, Tero Harju, Juhani Karhumäki |
Undecidability in omega-Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 73(1-2), pp. 119-125, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Martin Mundhenk, Thomas Schneider 0002 |
Undecidability of Multi-modal Hybrid Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HyLo@FLoC ![In: Proceedings of the International Workshop on Hybrid Logic, HyLo@FLoC 2006, Seattle, WA, USA, August 11, 2006, pp. 29-43, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Raymond R. Devillers, Laurent Van Begin |
Boundedness undecidability for synchronized nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 99(5), pp. 208-214, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Patricia Bouyer, Thomas Brihaye, Nicolas Markey |
Improved undecidability results on weighted timed automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 98(5), pp. 188-194, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Artale |
Reasoning on temporal class diagrams: Undecidability results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 46(3), pp. 265-288, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 52(2), pp. 165-170, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Stéphanie Delaune |
An undecidability result for AGh. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 368(1-2), pp. 161-167, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Luís Caires, Étienne Lozes |
Elimination of quantifiers and undecidability in spatial logics for concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 358(2-3), pp. 293-314, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Frank Wolter, Michael Zakharyaschev |
Undecidability of the unification and admissibility problems for modal and description logics ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0609052, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
17 | Vesa Halava, Tero Harju |
Undecidability of infinite post correspondence problem for instances of Size 9. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 40(4), pp. 551-557, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Jerzy Mycka, José Félix Costa |
Undecidability over Continuous Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 14(5), pp. 649-658, 2006. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 204(12), pp. 1847-1851, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAR ![In: Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 513-527, 2006, Springer, 3-540-37187-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Johann Deneux |
Verification of Parameterized and Timed Systems : Undecidability Results and Efficient Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
17 | Roman Murawski |
Decidability vs. undecidability. Logico-philosophico-historical remarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. UMCS Informatica ![In: Ann. UMCS Informatica 3(1), pp. 105-117, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Mojmír Kretínský, Vojtech Rehák, Jan Strejcek |
Refining the Undecidability Border of Weak Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005, pp. 17-36, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej S. Murawski |
About the undecidability of program equivalence in finitary languages with state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 6(4), pp. 701-726, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 11(3), pp. 428-, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej S. Murawski |
Functions with local state: Regularity and undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 338(1-3), pp. 315-349, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | John G. Thistle |
Undecidability in decentralized supervision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Control. Lett. ![In: Syst. Control. Lett. 54(5), pp. 503-509, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej S. Murawski |
Functions with local state: from regularity to undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GALOP@ETAPS ![In: 1st Workshop on Games for Logic and Programming Languages, GALOP@ETAPS 2005, Edinburgh, UK, 2-3 April 2005, pp. 124-138, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
17 | Tim French 0002 |
Bisimulation Quantified Logics: Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, pp. 396-407, 2005, Springer, 3-540-30495-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Vesa Halava, Tero Harju |
Undecidability in matrices over Laurent polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 33(4), pp. 747-752, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Piero A. Bonatti, Adriano Peron |
On the undecidability of logics with converse, nominals, recursion and counting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 158(1), pp. 75-96, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Michal Kunc |
Undecidability of the trace coding problem and some decidable cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 310(1-3), pp. 393-456, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Yuzuru Sato, Takashi Ikegami |
Undecidability in the Imitation Game. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Minds Mach. ![In: Minds Mach. 14(2), pp. 133-143, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Ulisses Ferreira |
On Turing's Proof of the Undecidability of the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSV/AMCS ![In: Proceedings of the International Conference on Modeling, Simulation & Visualization Methods, MSV '04 & Proceedings of the International Conference on Algorithmic Mathematics & Computer Science, AMCS '04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 519-522, 2004, CSREA Press, 1-932415-34-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
17 | Giovanni Conforti, Giorgio Ghelli |
Decidability of Freshness, Undecidability of Revelation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 105-120, 2004, Springer, 3-540-21298-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Luís Caires, Étienne Lozes |
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings, pp. 240-257, 2004, Springer, 3-540-22940-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Magdalena Kacprzak |
Undecidability of a Multi-Agent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 54(2-3), pp. 213-220, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
17 | Pawel Urzyczyn |
A Simple Proof of the Undecidability of Strong Normalisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 13(1), pp. 5-13, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Omid Madani, Steve Hanks, Anne Condon |
On the undecidability of probabilistic planning and related stochastic optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 147(1-2), pp. 5-34, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Andrea Cantini |
The Undecidability of Grisin's Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 74(3), pp. 345-368, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Olivier Finkel |
Undecidability of Topological and Arithmetical Properties of Infinitary Rational Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 37(2), pp. 115-126, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Marcin Jurdzinski, Mogens Nielsen, Jirí Srba |
Undecidability of domino games and hhp-bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 184(2), pp. 343-368, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Durand 0001, Enrico Formenti, Georges Varouchas |
On undecidability of equicontinuity classification for cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DMCS ![In: Discrete Models for Complex Systems, DMCS'03, Lyon, France, June 16-19, 2003, pp. 117-128, 2003, DMTCS. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|