Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thilo Hafer, Wolfgang Thomas. Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 269-279, Springer, 1987.

This author has not been identified. Look up 'Thilo Hafer' in GoogleThis author has not been identified. Look up 'Wolfgang Thomas' in Google

runs on WebDSL