Media type: Book Title: Complexity of Presburger arithmetic with fixed quantifier dimension Contributor: Schöning, Uwe [Author] Corporation: Universität Ulm, Fakultät für Informatik imprint: Ulm: Univ., Fak. für Informatik, 1995 Published in: Ulmer Informatik-Berichte ; 95,02 Extent: 5 S. Language: English RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Computational complexity Origination: Footnote:
Departmental Library DrePunct – stack Shelf-mark: 95 4 50182 001 Item ID: 10010531 Status: Loanable, place order > Ordering possible ‒ please log in