The following pages link to (Q3691746):
Displaying 5 items.
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- The Specker-Blatter theorem does not hold for quaternary relations (Q1399912) (← links)
- Definability of Combinatorial Functions and Their Linear Recurrence Relations (Q3586014) (← links)
- On the Tutte and Matching Polynomials for Complete Graphs (Q5038571) (← links)
- Extensions and limits of the Specker-Blatter theorem (Q6642890) (← links)
