共 50 条
- [33] Two-variable logic with counting is decidable 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 306 - 317
- [35] Two-variable Logic with Counting and Trees 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 73 - 82
- [36] Complexity of two-variable logic with counting 12TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1997, : 318 - 327
- [37] On the two-variable Iwasawa main conjecture COMPOSITIO MATHEMATICA, 2006, 142 (05) : 1157 - 1200
- [38] ON A TWO-VARIABLE ANALOGUE OF BESSEL FUNCTIONS JOURNAL OF INEQUALITIES AND SPECIAL FUNCTIONS, 2012, 3 (04): : 13 - 23
- [39] Two-variable Logic with a Between Relation PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 106 - 115
- [40] The Two-Variable Fragment with Counting Revisited LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 42 - 54