Computation Tree Logic CTL* and Path Quantifiers in the Monadic Theory of the Binary Tree.

Thilo Hafer, Wolfgang Thomas

Browse the full ICALP paper archive.