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 |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7868034839630127
0 references
0.7648956179618835
0 references
0.7407949566841125
0 references
