Publisher
Oxford University Press (OUP)
Subject
Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the existence of a modal-logical basis for monadic second-order logic;Journal of Logic and Computation;2012-03-13
2. Arity hierarchy for temporal logics;Theoretical Computer Science;2008-08
3. BTL2 and the expressive power of ECTL+;Information and Computation;2006-07
4. References;Infinite Words - Automata, Semigroups, Logic and Games;2004
5. Regular languages definable by Lindström quantifiers;RAIRO - Theoretical Informatics and Applications;2003-07