Pages that link to "Item:Q1264437"
From MaRDI portal
The following pages link to Negation elimination in empty or permutative theories (Q1264437):
Displayed 4 items.
- 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)
- Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras (Q5743584) (← links)