Pages that link to "Item:Q1327397"
From MaRDI portal
The following pages link to Syntacticness, cycle-syntacticness and shallow theories (Q1327397):
Displayed 7 items.
- Set constraints in some equational theories (Q1271568) (← links)
- Decidability and complexity analysis by basic paramodulation (Q1281494) (← links)
- The unification problem for confluent right-ground term rewriting systems. (Q1401934) (← links)
- Induction = I-axiomatization + first-order consistency. (Q1854350) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)