Term rewrite systems for lattice theory (Q1314435)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Term rewrite systems for lattice theory |
scientific article; zbMATH DE number 502901
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Term rewrite systems for lattice theory |
scientific article; zbMATH DE number 502901 |
Statements
Term rewrite systems for lattice theory (English)
0 references
30 June 1994
0 references
term rewrite system
0 references
equational theory
0 references
