Thilo Hafer

List of publications from the DBLP Bibliography Server - FAQ

1987

1 Thilo Hafer, Wolfgang Thomas: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP 1987: 269-279

1987
1		Thilo Hafer, Wolfgang Thomas: Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. ICALP 1987: 269-279

Coauthor Index