Complexity of Presburger arithmetic with fixed quantifier dimension
Arbeitspapier
Fakultäten
Fakultät für Ingenieurwissenschaften und InformatikUlmer Schriftenreihe
Ulmer Informatik-Berichte
Zusammenfassung
N/A
Erstellung / Fertigstellung
1995
Normierte Schlagwörter
Berechnungskomplexität [GND]Presburger-Arithmetik [GND]
Computational complexity [LCSH]
DDC-Sachgruppe
DDC 004 / Data processing & computer scienceMetadata
Zur LanganzeigeZitiervorlage
Schöning, Uwe (2010): Complexity of Presburger arithmetic with fixed quantifier dimension. Open Access Repositorium der Universität Ulm. http://dx.doi.org/10.18725/OPARU-1685