First-order logic with two variables and unary temporal logic

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1997, Pages 228-235

  Etessami, Kousha ^a   Vardi, Moshe Y ^a   Wilke, Thomas ^a  

^a Cent of the Danish Natl Research   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; THEOREM PROVING;

FIRST ORDER LOGIC; UNARY TEMPORAL LOGIC;

FORMAL LOGIC;

EID: 0030652640     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)