Research focus: |
Lehrstuhl für Informatik IV
Institut für Informatik, 97074 Würzburg Mail: glasser@informatik.uni-wuerzburg.de Url: http://www-info4.informatik.uni-wuerzburg.de |
Scientific members:
Scientific assistants:
Research foci (and basic equipment-based research projects):
Zusammenhang zwischen Hierarchien in der Komplexitätstheorie, Automatentheorie und der Logik
Results:
See the Ph.D. thesises
"The Forbidden Pattern Aproach to Concatenation Hierarchies" of Heinz Schmitz and
"Forbidden-Patterns and Word Extentions for Concatenation Hierarchies"
of Chrisitan Glaßer.
Links:
The Boolean Hierarchy over Level 1/2 of the Straubing-Therien Hierarchy
Some Forbidden Patterns in Automata for Dot-Depth One Languages
Generalized Deterministic Languages and their Automata: A Characterization of Restricted Temporal Logic
Boolean Hierarchies inside Dot-Depth One
Languages of Dot-Depth 3/2
Concatenation Hierarchies and Forbidden Patterns
A Normalform for Classes of Concatenation Hierarchies
The Boolean Hierarchy over Dot-Depth 1/2