Pages that link to "Item:Q3082916"
From MaRDI portal
The following pages link to The Specker-Blatter Theorem Revisited (Q3082916):
Displaying 11 items.
- Remembering Ernst Specker (1920--2011) (Q452476) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- The Bell-Kochen-Specker theorem (Q640240) (← links)
- The Specker-Blatter theorem does not hold for quaternary relations (Q1399912) (← links)
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- A fan-theoretic equivalent of the antithesis of Specker's theorem (Q2465611) (← links)
- The failure of the uncountable non-commutative Specker phenomenon (Q2769825) (← links)
- Definability of Combinatorial Functions and Their Linear Recurrence Relations (Q3586014) (← links)
- (Q4997284) (← links)
- On the Tutte and Matching Polynomials for Complete Graphs (Q5038571) (← links)
- Extensions and limits of the Specker-Blatter theorem (Q6642890) (← links)