T
Thomas Gundermann
Researcher at University of Jena
Publications - 4
Citations - 415
Thomas Gundermann is an academic researcher from University of Jena. The author has contributed to research in topics: Boolean hierarchy & Stone's representation theorem for Boolean algebras. The author has an hindex of 4, co-authored 4 publications receiving 409 citations.
Papers
More filters
Journal ArticleDOI
The Boolean hierarchy I: structural properties
Jin-Yi Cai,Thomas Gundermann,Juris Hartmanis,Lane A. Hemachandra,Vivian Sewelson,Klaus W. Wagner,Gerd Wechsung +6 more
TL;DR: The complexity of sets formed by boolean operations (union, intersection, and complement) on NP sets are studied, showing that in some relativized worlds the boolean hierarchy is infinite, and that for every k there is a relativization world in which the Boolean hierarchy extends exactly k levels.
Journal ArticleDOI
The Boolean hierarchy II: applications
Jin-Yi Cai,Thomas Gundermann,Gerd Wechsung,Juris Hartmanis,Lane A. Hemachandra,Vivian Sewelson,Klaus W. Wagner +6 more
TL;DR: The Boolean Hierarchy I: Structural Properties explores the structure of the boolean hierarchy, the closure of NP with respect to boolean hierarchies, and the role of symbols in this hierarchy.
Journal Article
Counting classes with finite acceptance types
Thomas Gundermann,Gerd Wechsung +1 more
TL;DR: In this article, a new set of classes of Turing polynomiales non deterministes for denombrement of Hausdorff generee par NP are proposed.
Book ChapterDOI
Nondeterministic turing machines with modified acceptance
Thomas Gundermann,Gerd Wechsung +1 more
TL;DR: In this paper an extremely fine hierarchy within BC(NP) is proposed, characterized by nondeter-ministic polynomial time Turing machines with suitably modified acceptance notions.