publication venue for
- Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees 2023
- Tractability and learnability arising from algebras with few subpowers 2007
- On Tractability and Congruence Distributivity 2006
- The proof complexity of linear algebra 2002
- Semantics of pointers, referencing and dereferencing with intensional logic 1991