Pages that link to "Item:Q1685920"
From MaRDI portal
The following pages link to On fragments of higher order logics that on finite structures collapse to second order (Q1685920):
Displaying 6 items.
- Capturing complexity classes by fragments of second-order logic (Q1193408) (← links)
- Finitistic proofs of 0-1 laws for fragments of second-order logic (Q1351145) (← links)
- Computing queries with higher-order logics (Q2369013) (← links)
- (Q5079746) (← links)
- Expressing properties in second- and third-order logic: hypercube graphs and SATQBF (Q5176677) (← links)
- Systematic Refinement of Abstract State Machines with Higher-Order Logic (Q5881450) (← links)