English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
 
 
DownloadE-Mail
  On the Word Problem for Free Lattices

Struth, G. (1997). On the Word Problem for Free Lattices. In H. Comon (Ed.), Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97) (pp. 128-141). Berlin, Germany: Springer.

Item is

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Struth, Georg1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 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.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121997
 Publication Status: Issued
 Pages: -
 Publishing info: -
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519630
Other: Local-ID: C1256104005ECAFC-E609E4572E52A764C125648000672534-Struth97
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Sitges, Spain
Start-/End Date: 1997

Legal Case

show

Project information

show

Source 1

show
hide
Title: Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA-97)
Source Genre: Proceedings
 Creator(s):
Comon, Hubert, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 128 - 141 Identifier: -

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: 1232 Sequence Number: - Start / End Page: - Identifier: -