Pages that link to "Item:Q917545"

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)
• (Q4242579) (← links)
• The dimension of the negation of transitive closure (Q4842619) (← links)