Term rewrite systems for lattice theory

DOI10.1006/jsco.1993.1046zbMath0790.06008OpenAlexW2041188635MaRDI QIDQ1314435

J. B. Nation, Ralph Freese, Jaroslav Jezek

Publication date: 30 June 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/6cbcb28866cb7d73562cc6c1ea77212cec70b146

zbMATH Keywords

equational theoryterm rewrite system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Equational classes, universal algebra in model theory (03C05) Lattices (06B99)

Related Items (3)

Computers and universal algebra: Some directions ⋮ Structures for abstract rewriting ⋮ From multiple sequent for additive linear logic to decision procedures for free lattices

This page was built for publication: Term rewrite systems for lattice theory