Publisher
Open Publishing Association
Reference23 articles.
1. Visibly pushdown languages;Rajeev Alur,2004
2. Extended Computation Tree Logic;Roland Axelsson,2010
3. Extended Computation Tree Logic;Roland Axelsson;arXiv.org,2010
4. Term Rewriting and All That
5. Propositional dynamic logic is weaker without tests;Francine Berman;Theoretical Computer Science,1981