Hochschulschrift | Online-Publikation
Automata-based decision procedures for weak arithmetics
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Freiburg (Breisgau), Univ., Diss., 2004
- Classification
-
Informatik
Mathematik
- Keyword
-
Presburger-Arithmetik
Endlicher Automat
Entscheidungsverfahren
Obere Schranke
Monadische Logik
Stufe 2
Endlicher Automat
Entscheidbarkeit
Automatentheorie ; Entscheidungsverfahren ; Beschränkte Arithmetik
- Creator
- URN
-
urn:nbn:de:bsz:25-opus-14395
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:30 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
- Online-Publikation
Associated
Other Objects (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