Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Jacquemard, Florent
Meyer, Christoph
Weidenbach, Christoph

dblp
dblp
dblp



Editor(s):

Nipkow, Tobias

dblp



BibTeX cite key*:

JacquemardMeyerWeidenbach98

Title, Booktitle

Title*:

Unification in Extensions of Shallow Equational Theories

Booktitle*:

Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98)

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Tsukuba, Japan

Language:

English

Event Date*
(no longer used):

March, 30th - April, 1st

Organization:


Event Start Date:

16 September 2019

Event End Date:

16 September 2019

Publisher

Name*:

Springer

URL:


Address*:

Berlin, Germany

Type:


Vol, No, Year, pp.

Series:

Lecture Notes in Computer Science

Volume:

1379

Number:


Month:


Pages:

76-90

Year*:

1998

VG Wort Pages:


ISBN/ISSN:

3-540-64301-X

Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We show that unification in certain extensions of shallow equational theories is decidable. Our extensions generalize the known classes of
shallow or standard equational theories. In order to prove decidability of unification in the extensions, a class of Horn clause sets called sorted
shallow equational theories is introduced. This class is a natural extension of tree automata with equality constraints between brother subterms as
well as shallow sort theories. We show that saturation under sorted superposition is effective on sorted shallow equational theories. So called
semi-linear equational theories can be effectively transformed into equivalent sorted shallow equational theories and generalize the classes of
shallow and standard equational theories.



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



BibTeX Entry:

@INPROCEEDINGS{JacquemardMeyerWeidenbach98,
AUTHOR = {Jacquemard, Florent and Meyer, Christoph and Weidenbach, Christoph},
EDITOR = {Nipkow, Tobias},
TITLE = {Unification in Extensions of Shallow Equational Theories},
BOOKTITLE = {Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98)},
PUBLISHER = {Springer},
YEAR = {1998},
VOLUME = {1379},
PAGES = {76--90},
SERIES = {Lecture Notes in Computer Science},
ADDRESS = {Tsukuba, Japan},
ISBN = {3-540-64301-X},
}


Entry last modified by Christoph Weidenbach, 03/12/2010
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
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)
Christoph Meyer
Created
01/05/1999 10:03:13 AM
Revisions
2.
1.
0.

Editor(s)
Christoph Weidenbach
Uwe Brahm
Christoph Meyer

Edit Dates
05/05/99 12:20:14
29.03.99 19:31:00
05/01/99 10:03:13