„undecidable“

Suchergebnisse

1.000+ Treffer

• You Can't Solve These Super Mario Bros. Levels: Undecidable Mario Games
  Ani, Hayashi ; Demaine, Erik D. ; Hall, Holden ; Ruiz, Ricardo ; Venkat, Naveen 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tiling with Three Polygons Is Undecidable
  Demaine, Erik D. ; Langerman, Stefan 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Recursed Is Not Recursive: A Jarring Result
  Demaine, Erik D. ; Kopinsky, Justin ; Lynch, Jayson 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Minkowski Games
  Le Roux, Stéphane ; Pauly, Arno ; Raskin, Jean-François 2017 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Locality and complexity in simulations of complex quantum systems
  Kliesch, Martin 2015 Freie Universität Berlin
• Undecidable Fragments of Positive Theories of Free Semigroups
  Zetkina, A. I. ; Durnev, V. G.
• Author Correction: Learnability can be undecidable
  Ben-David, Shai ; Hrubeš, Pavel ; Moran, Shay ; Shpilka, Amir ; Yehudayoff, Amir
• The Unification Hierarchy is Undecidable
  Nutt, Werner 2023 Saarländische Universitäts- und Landesbibliothek
• Subsumption in KL-One is Undecidable
  Schmidt-Schauß, Manfred 2023 Saarländische Universitäts- und Landesbibliothek
• Unification in Permutative Equational Theories is Undecidable
  Schmidt-Schauß, Manfred 2023 Saarländische Universitäts- und Landesbibliothek
• Some Undecidable Classes of Clause Sets
  Schmidt-Schauß, Manfred 2023 Saarländische Universitäts- und Landesbibliothek
• The first-order theory of lexicographic path orderings is undecidable
  Comon, Hubert ; Treinen, Ralf 2011 Saarländische Universitäts- und Landesbibliothek
• Reachability Problems – 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings
  2014 Springer International Publishing
• Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton
  Rote, Günter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Making it Formally Explicit – Probability, Causality and Indeterminism
  Hofer-Szabó, Gábor ; Wroński, Leszek 2017 Springer International Publishing
• The Membership Problem for Constant-Sized Quantum Correlations is Undecidable
  Fu, Honghao ; Miller, Carl A. ; Slofstra, William
• The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable
  Chodil, Miroslav ; Kučera, Antonín 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Equivalence Problem of E-Pattern Languages with Length Constraints Is Undecidable
  Nowotka, Dirk ; Wiedenhöft, Max 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Two examples concerning existential undecidability in fields
  Dittmann, Philip 2025 Technische Universität Dresden
• Kleene Algebra with Commutativity Conditions Is Undecidable
  Azevedo de Amorim, Arthur ; Zhang, Cheng ; Gaboardi, Marco 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik