共 50 条
- [6] Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2012, 14 (01): : 87 - 107
- [7] Existential second-order logic over strings THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 16 - 27
- [9] Second-order logic: properties, semantics, and existential commitments Synthese, 2019, 196 : 2643 - 2669
- [10] ASNP: A Tame Fragment of Existential Second-Order Logic BEYOND THE HORIZON OF COMPUTABILITY, CIE 2020, 2020, 12098 : 149 - 162