Title of article :
Term Rewrite Systems for Lattice Theory
Author/Authors :
Ralph Freese، نويسنده , , J. Jez ek، نويسنده , , J. B. Nation، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1993
Abstract :
It is shown that, even though there is a very well-behaved, natural normal form for lattice theory, there is no finite, convergent AC term rewrite system for the equational theory of all lattices.
Journal title :
Journal of Symbolic Computation
Journal title :
Journal of Symbolic Computation
