Pages that link to "Item:Q1327397"
From MaRDI portal
The following pages link to Syntacticness, cycle-syntacticness and shallow theories (Q1327397):
Displayed 16 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- 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)
- Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols (Q2090128) (← links)
- Terminating non-disjoint combined unification (Q2119106) (← links)
- Modular proof systems for partial functions with Evans equality (Q2432764) (← links)
- Set constraints with intersection (Q2506490) (← links)
- Unification and Matching in Hierarchical Combinations of Syntactic Theories (Q2964469) (← links)
- Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent (Q3454085) (← links)
- “Syntactic” AC-unification (Q5096305) (← links)
- Computing knowledge in equational extensions of subterm convergent theories (Q5139279) (← links)
- Uniqueness of Normal Forms for Shallow Term Rewrite Systems (Q5278216) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)