Atlas home || Conferences | Abstracts | about Atlas

AAA76 - 76th Workshop on General Algebra (76. Arbeitstagung Allgemeine Algebra)
May 22-25, 2008
Department of Algebra, Johannes Kepler University Linz
Linz, Austria

Organizers
Erhard Aichinger, Peter Mayr, Matt Nickodemus, Günter Pilz

View Abstracts
Conference Homepage

An invariant for left distributivity and idempotency
by
Přemysl Jedlička
Czech University of Life Sciences, Prague

We shall present all known methods how to recognize that two terms are (or are not) equivalent modulo left distributivity (x·xy=xy ·xz) and idempotency (x=xx). This includes a new invariant that uses so called cuts of terms.

Date received: April 20, 2008

Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawc-32.