The Two-Variable Fragment with Counting Revisited

Logic, Language, Information and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13824-9_4 ◽

2010 ◽

pp. 42-54 ◽

Cited By ~ 4

Author(s):

Ian Pratt-Hartmann

Download Full-text