共 50 条
- [24] One quantifier will do in existential monadic second-order logic over pictures MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 1998, 1998, 1450 : 751 - 759
- [25] ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS Logical Methods in Computer Science, 2021, 17 (03): : 14:1 - 14:32
- [30] On Failure of 0-1 Laws FIELDS OF LOGIC AND COMPUTATION II: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 75TH BIRTHDAY, 2015, 9300 : 293 - 296