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 Ashutosh y0078 (talk | contribs) at 09:21, 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]

There are many variety of alternating automata. I started this page to eventually create a list of these automata and their comparisons.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Talk:Alternating_tree_automata&oldid=426532537"