„Entscheidbarkeit“

Suchergebnisse

1.000+ Treffer

• Logik für die Informatik – eine Einführung in die Aussagenlogik, Prädikatenlogik und Berechenbarkeitstheorie
  Junker, Markus 2025 Springer Vieweg
• Über die Entscheidbarkeit der formalen Erreichbarkeit von Prozeduren bei Monadischen Programmen
  Lippe, Wolfram-M. 2012 Universitäts- und Landesbibliothek Münster
• H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen. X + 246 S. m. 3 Abb. Berlin/Göttingen/Heidelberg 1961. Springer‐Verlag. Preis geb. DM 49,80
  Kämmerer
• Grenzen der Entscheidbarkeit: Rezension zu "Schriften zur Organisation 2: Theorie organisierter Sozialsysteme" und "Schriften zur Organisation 3: Gesellschaftliche Differenzierung" von Niklas Luhmann
  Hoebel, Thomas 2019 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• H. Hermes, Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit. 2. Auflage. (Heidelberger TaschenBücher, Band 87). XI + 246 S. m. 3 Abb. Berlin/Heidelberg/New York 1971. Springer‐Verlag. Preis brosch. DM 14,80
  Metz, J.
• Theoretische Informatik
  Hoffmann, Dirk W. 2018 Carl Hanser Verlag GmbH & Co. KG
• Theoretische Informatik
  Hoffmann, Dirk W. 2015 Hanser, Carl
• Theoretische Informatik
  Hoffmann, Dirk W. 2011 Hanser, Carl
• Theoretische Informatik
  Hoffmann, Dirk W. 2009 Hanser, Carl
• Characterizing Formality
  Güler, Demen ; Lange, Klaus-Jörn 2019 Universitätsbibliothek Tübingen
• A machine-checked constructive metatheory of computation tree logic
  Doczkal, Christian ; Smolka, Gert 2016 Saarländische Universitäts- und Landesbibliothek
• Formal language theory of logic fragments
  Lauser, Alexander ; Diekert, Volker 2015 Universitätsbibliothek der Universität Stuttgart
• Archimedean quadratic modules – a decision problem for real multivariate polynomials
  Wagner, Sven
• Theoretische Informatik – Klar, kompakt, praxisnah
  Sina, Lucien 2025 tredition
• Theoretische Informatik – Klar, kompakt, praxisnah
  Sina, Lucien 2025 tredition
• Komplexitäts- und Entscheidbarkeitsresultate für inverse Monoide mit idempotenter Präsentation
  Ondrusch, Nicole
• Reguläre Häufigkeitsberechnungen
  Austinat, Holger
• The forbidden pattern approach to concatenation hierarchies
  Schmitz, Heinz
• Abstract state machines – verification problems and computational power
  Nowack, Antje
• Automata-based decision procedures for weak arithmetics
  Klaedtke, Felix Christopher