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

Scientific members:

   Scientific assistants:

Research foci (and basic equipment-based research projects):
Zusammenhang zwischen Hierarchien in der Komplexitätstheorie, Automatentheorie und der Logik

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.

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