共 50 条
- [41] Combinatorics of the two-variable zeta function FINITE FIELDS AND APPLICATIONS, 2004, 2948 : 109 - 136
- [48] Two-variable logic with counting is decidable 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 306 - 317
- [49] Two-variable Logic with Counting and Trees 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 73 - 82
- [50] Complexity of two-variable logic with counting 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 318 - 327