Pages that link to "Item:Q917545"
From MaRDI portal
The following pages link to Parametrization over inductive relations of a bounded number of variables (Q917545):
Displaying 4 items.
- When is arithmetic possible? (Q922533) (← links)
- Hierarchies in transitive closure logic, stratified Datalog and infinitary logic (Q1919531) (← links)
- First order zero-one laws for random graphs on the cycle (Q4242579) (← links)
- The dimension of the negation of transitive closure (Q4842619) (← links)