OrDB
Paper
  Data
Vardi MY (1997)
Why is modal logic so robustly decidable
149
184
American Mathematical Society
1997
Descriptive complexity and finite models
Immerman N:Kolaitis P
Other categories referring to Vardi MY (1997)
Paper.References   (1)
Revisions: 1
Last Time: 7/21/2006 1:26:31 PM
Reviewer: System Administrator
Owner: System Administrator