Pages that link to "Item:Q1264437"
From MaRDI portal
The following pages link to Negation elimination in empty or permutative theories (Q1264437):
Displaying 9 items.
- AC complement problems: Satisfiability and negation elimination (Q677036) (← links)
- Complete axiomatizations of some quotient term algebras (Q685393) (← links)
- Equational problems and disunification (Q1124372) (← links)
- Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582) (← links)
- Nominal equational problems (Q2233392) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- The negation elimination from syntactic equational formula is decidable (Q5055804) (← links)
- Automated Reasoning (Q5307078) (← links)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)