共 50 条
- [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 A TWO-VARIABLE ANALOGUE OF BESSEL FUNCTIONS JOURNAL OF INEQUALITIES AND SPECIAL FUNCTIONS, 2012, 3 (04): : 13 - 23
- [38] On the two-variable Iwasawa main conjecture COMPOSITIO MATHEMATICA, 2006, 142 (05) : 1157 - 1200
- [40] The Two-Variable Fragment with Counting Revisited LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2010, 6188 : 42 - 54