Pages that link to "Item:Q685393"
From MaRDI portal
The following pages link to Complete axiomatizations of some quotient term algebras (Q685393):
Displaying 13 items.
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Representing and building models for decidable subclasses of equational clausal logic (Q861367) (← links)
- The \(\exists^*\forall^*\) part of the theory of ground term algebra modulo an AC symbol is undecidable. (Q1400708) (← links)
- Congruential complements of ground term rewrite systems (Q1575250) (← links)
- Metalevel algorithms for variant satisfiability (Q2413027) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- (Q3251491) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Formalising nominal C-unification generalised with protected variables (Q5022930) (← links)
- Problems in rewriting III (Q5055847) (← links)
- A Certified Functional Nominal C-Unification Algorithm (Q5097631) (← links)
- (Q5216313) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)