Travelled to:1 × Germany
Collaborated with:W.Thomas
Talks about:tree (2) quantifi (1) theori (1) comput (1) binari (1) monad (1) logic (1) path (1) ctl (1)
Person: Thilo Hafer
DBLP: Hafer:Thilo
Contributed to:
1987Wrote 1 papers:
- ICALP-1987-HaferT #logic #monad #quantifier
- Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree (TH, WT), pp. 269–279.