Thilo Hafer

According to our database1, Thilo Hafer authored at least 2 papers between 1987 and 1989.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1989
Automaten und Logiken über unendlichen Bäumen.
PhD thesis, 1989

1987
Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987


  Loading...