Sciweavers

34
Voted
LICS
1997
IEEE

First-Order Logic with Two Variables and Unary Temporal Logic

14 years 4 months ago
First-Order Logic with Two Variables and Unary Temporal Logic
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1997
Where LICS
Authors Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
Comments (0)