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:49, 29 April 2011 (←Created page with 'Seems related to CTL*. [http://books.google.com/books?id=ikiKLdlvGscC&pg=PA118]. ~~~~'). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Seems related to CTL*. [1]. Tijfo098 (talk) 08:49, 29 April 2011 (UTC)[reply]

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