research report      name index      key word index      corresp.unit            Page in german      Imprint + Privacy Policy   


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