Hochschulschrift | Online-Publikation
Automata-based decision procedures for weak arithmetics
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2004
- Klassifikation
-
Informatik
Mathematik
- Schlagwort
-
Presburger-Arithmetik
Endlicher Automat
Entscheidungsverfahren
Obere Schranke
Monadische Logik
Stufe 2
Endlicher Automat
Entscheidbarkeit
Automatentheorie ; Entscheidungsverfahren ; Beschränkte Arithmetik
- Urheber
- URN
-
urn:nbn:de:bsz:25-opus-14395
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:30 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
- Online-Publikation
Beteiligte
Ähnliche Objekte (12)
Automata-based decision procedures for weak arithmetics
Resolution-based decision procedures for subclasses of first-order logic
Kleene type results for weighted tree automata
Refinements of data compression using weighted finite automata
Weak gravitational lensing and galaxy bias
Microsimulation of complex system dynamics : automata models in biology and finance
On structural similarities of finite automata and turing machine enumerability classes
Applications of the weak gravitational lens effect
Supersymmetric SO(10) unification and flavor changing weak decays
Traffic jams : cluster formation in low-dimensional cellular automata models for highway and city traffic
Dark matter halos of galaxies studied with weak gravitational lensing
Weak polyacid brushes : synthesis, swelling behavior, complex formation and micropatterning
Automata-based decision procedures for weak arithmetics
Resolution-based decision procedures for subclasses of first-order logic
Kleene type results for weighted tree automata
Refinements of data compression using weighted finite automata
Weak gravitational lensing and galaxy bias
Microsimulation of complex system dynamics : automata models in biology and finance
On structural similarities of finite automata and turing machine enumerability classes
Applications of the weak gravitational lens effect
Supersymmetric SO(10) unification and flavor changing weak decays
Traffic jams : cluster formation in low-dimensional cellular automata models for highway and city traffic
Dark matter halos of galaxies studied with weak gravitational lensing
Weak polyacid brushes : synthesis, swelling behavior, complex formation and micropatterning
Automata-based decision procedures for weak arithmetics
Resolution-based decision procedures for subclasses of first-order logic
Kleene type results for weighted tree automata
Refinements of data compression using weighted finite automata
Weak gravitational lensing and galaxy bias
Microsimulation of complex system dynamics : automata models in biology and finance
On structural similarities of finite automata and turing machine enumerability classes
Applications of the weak gravitational lens effect
Supersymmetric SO(10) unification and flavor changing weak decays
Traffic jams : cluster formation in low-dimensional cellular automata models for highway and city traffic
Dark matter halos of galaxies studied with weak gravitational lensing