%0 Book
%T Complexity of Presburger arithmetic with fixed quantifier dimension
%A Schöning, Uwe
%A Universität Ulm Fakultät für Informatik
%I Univ., Fak. für Informatik
%K Computational complexity
%D 1995
%C Univ., Fak. für Informatik
%C Ulm
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation