Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

TUM-Logo

Die bibliographische Datenbank LEABib


SuchenListe der JournaleListe der SerienListe der KonferenzenAusgewählte Publikationen Ausgewählte Publikationen Hilfe Hilfe
 
Suche: Author="Oppen, Derek C."
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

A 2^{2^{2^{pn}}} upper bound on the complexity of Presburger arithmetic Publikation auswählen
Derek C. Oppen

Journal of Computer and System Sciences 16 (3), 1978, June, pp. 323-332

Publisher:  Academic Press
Address:  New York-San Francisco-London-San Diego
Institution:  Computer Sci. Dept., Stanford Univ., Stanford, CA, USA