Pages that link to "Item:Q1314435"
From MaRDI portal
The following pages link to Term rewrite systems for lattice theory (Q1314435):
Displaying 8 items.
- Rewrite systems on a lattice of types (Q1064065) (← links)
- Further properties of lattices of equational theories (Q1180695) (← links)
- Permutability of rules in lattice theory. (Q1771961) (← links)
- Computers and universal algebra: Some directions (Q1902542) (← links)
- From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Boolean algebra admits no convergent term rewriting system (Q5055766) (← links)
- Formula normalizations in verification (Q6535699) (← links)