Pages that link to "Item:Q1361251"
From MaRDI portal
The following pages link to Canonization for two variables and puzzles on the square (Q1361251):
Displayed 4 items.
- Super/rosy \(L^k\)-theories and classes of finite structures (Q385799) (← links)
- Bisimulation-invariant PTIME and higher-dimensional \(\mu\)-calculus (Q1960425) (← links)
- Graphs Identified by Logics with Counting (Q2946347) (← links)
- Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs (Q3586010) (← links)