3
Publications
330
Citations
3
H-Index
1987
Active since
Affiliations
Thomas Gundermann is an author at Friedrich Schiller University Jena specializing in computational complexity, computer science, and engineering.
Top concepts
EngineeringComputer ScienceComputational ComplexityComplexityFormal MethodsCircuit ComplexityAutomated ReasoningFormal VerificationLogic ProgrammingSoftware Analysis
Publications per year
1987–1989
3
3
The Boolean Hierarchy I: Structural Properties
Jin‐Yi Cai, Thomas Gundermann, Juris Hartmanis et al. · SIAM Journal on Computing · 1988 · 200 citations
The Boolean Hierarchy II: Applications
Jin‐Yi Cai, Thomas Gundermann, J. Hartmanis et al. · SIAM Journal on Computing · 1989 · 108 citations
Circuit Complexity, Computational Complexity Theory, Engineering +18
Rows per page
1–3 of 3