Pages that link to "Item:Q5055804"
From MaRDI portal
The following pages link to The negation elimination from syntactic equational formula is decidable (Q5055804):
Displaying 4 items.
- Negation elimination in empty or permutative theories (Q1264437) (← links)
- Explicit versus implicit representations of subsets of the Herbrand universe. (Q1853582) (← links)
- Equational formulas and pattern operations in initial order-sorted algebras (Q2628298) (← links)
- More problems in rewriting (Q5055812) (← links)