MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Struth, Georgdblp
Editor(s):
Comon, Hubertdblp
BibTeX cite key*:
Struth97
Title, Booktitle
Title*:
On the Word Problem for Free Lattices
Booktitle*:
Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Sitges, Spain
Language:
English
Event Date*
(no longer used):
June, 02 - June, 04
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
1232
Number:
Month:
June
Pages:
128-141
Year*:
1997
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
 We prove completeness of a rewrite-based algorithm for the
word problem in the variety of lattices and discuss the
method of non-symmetric completion with regard to this
variety.
Keywords:
Lattice Theory, Non-Symmetric Rewriting, Non-Symmetric Completion
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{Struth97,
AUTHOR = {Struth, Georg},
 EDITOR = {Comon, Hubert},
 TITLE = {On the Word Problem for Free Lattices},
 BOOKTITLE = {Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97)},
 PUBLISHER = {Springer},
 YEAR = {1997},
 VOLUME = {1232},
 PAGES = {128--141},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Sitges, Spain},
 MONTH = {June},
}

Entry last modified by Anja Becker, 03/12/2010
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Georg Struth		Created
04/21/1997 08:46:37 PM
Revisions
9.
8.
7.
6.
5.		Editor(s)
Anja Becker
Uwe Brahm
Christine Kiesel
Uwe Brahm
Uwe Brahm		Edit Dates
20.08.2001 16:39:47
04/05/2001 02:01:33 AM
15.03.2001 04:34:39 PM
04/02/98 07:08:20 PM
02/26/98 06:55:27 PM