„undecidability“

Suchergebnisse

1.000+ Treffer

• The Undecidability of the [D A]-Unification Problem
  Siekmann, Jörg H. ; Szabo, P. 2024 Saarländische Universitäts- und Landesbibliothek
• Melting down the number of variables for the inclusion problem for pattern languages and logspace-decidability of determinism of regular languages
  Bremer, Joachim ; Schweikardt, Nicole ; Köbler, Johannes ; Freydenberger, Dominik 2025 Humboldt-Universität zu Berlin
• 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
• Complexity of Motion Planning of Arbitrarily Many Robots: Gadgets, Petri Nets, and Counter Machines
  Ani, Joshua ; Coulombe, Michael ; Demaine, Erik D. ; Diomidov, Yevhenii ; Gomez, Timothy ; Hendrickson, Dylan ; Lynch, Jayson 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nonaxiomatizability and undecidability of an infinite valued temporal logic
  Wagner, Hubert 1995 Fernuniv., Fachbereich Informatik
• Fuzzy Description Logics with General Concept Inclusions
  Borgwardt, Stefan ; Baader, Franz ; Horrocks, Ian 2014 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Plato/Freud/Mann: Narrative structure, undecidability, and the social text
  BARTON, RICHARD W.
• Sign and the lambda-term
  Tanaka-Ishii, Kumiko ; Ishii, Yuichiro
• Minimal signatures with undecidability of representability by binary relations
  Hirsch, Robin ; Jackson, Marcel ; Šemrl, Jaš
• Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter
  Rybakov, Mikhail ; Shkatov, Dmitry
• Erratum to “Automaton semigroups and groups: On the undecidability of problems related to freeness and finiteness”
  D’Angeli, Daniele ; Rodaro, Emanuele ; Wächter, Jan Philipp
• An Exposition Of Jaques Derrida's Undecidability As The Nature Of Deconstruction
  Manapsal, Josephine 2025 GRIN Verlag
• An Exposition Of Jaques Derrida's Undecidability As The Nature Of Deconstruction
  Manapsal, Josephine 2025 GRIN Verlag
• Some Undecidable Classes of Clause Sets
  Schmidt-Schauß, Manfred 2023 Saarländische Universitäts- und Landesbibliothek
• Undecidability and interpretation: metatheoretic distinctions in Western philosophy – William Boos: Metamathematics and the philosophical tradition (edited by Florence S. Boos). Berlin/Boston: Walter de Gruyter GmbH, 2018, xii+492pp. USD$124.99 HB and e-book
  Shannon, Anthony G.
• Implementation and Application of Automata – 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings
  Drewes, Frank 2015 Springer International Publishing
• Probabilistic Finite Automaton Emptiness Is Undecidable for a Fixed Automaton
  Rote, Günter 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Word Structures and Their Automatic Presentations
  Gong, Xiaoyang ; Khoussainov, Bakh ; Zhuge, Yuyang 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hierarchies and undecidability results for iterative arrays with sparse communication
  Malcher, Andreas