Jump to content

Talk:Alternating tree automata

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Tijfo098 (talk | contribs) at 08:52, 29 April 2011. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Seems related to CTL* [1]] and modal μ-calculus [2]. Tijfo098 (talk) 08:51, 29 April 2011 (UTC)[reply]

Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Alternating_tree_automata&oldid=426529590"