E | |
---|---|
[EVW02] | Kousha Etessami, Moshe Y. Vardi, and Thomas Wilke. First-Order Logic with Two Variables and Unary Temporal Logic. Information and Computation 179(2):279-295. Academic Press, December 2002. |
Search
Displayed 1 resultList of authors
- 1
- 1
- 1