Journal Article
@Article
Artikel in Fachzeitschrift

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:




Library Locked Library locked




Author, Editor(s)
Author(s):
Ganzinger, Haralddblp

BibTeX cite key*:

Ganzinger-91-jsc

Title

Title*:

A completion procedure for conditional equations

Journal

Journal Title*:

Journal of Symbolic Computation
Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:


Publisher's URL:


Publisher's
Address:


ISSN:


Vol, No, pp, Date

Volume*:

11
Number:


Publishing Date:

1991

Pages*:

51-81
Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

The paper presents a new completion procedure for conditional equations. The work is based on the notion of reductive conditional rewriting and the procedure has been designed to in particular handle nonreductive equations that are generated during completion. The paper also describes techniques for simplification of conditional equations and rules, so that the procedure terminates on more specifications. The correctness proofs which form a substantial part of this paper employ recursive path orderings on the proof trees of conditional equational logic, an extension of the ideas of Bachmair, Dershowitz and Hsiang to the conditional case.

URL for the Abstract:


Categories,
Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:


Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:


BibTeX Entry:
@ARTICLE{Ganzinger-91-jsc,
AUTHOR = {Ganzinger, Harald},
 TITLE = {A completion procedure for conditional equations},
 JOURNAL = {Journal of Symbolic Computation},
 YEAR = {1991},
 VOLUME = {11},
 PAGES = {51--81},
}

Entry last modified by Christine Kiesel/AG2/MPII/DE, 08/22/2014
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)
[Library]		Created
01/22/1995 02:33:19 PM
Revisions
5.
4.
3.
2.
1.		Editor(s)
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
25/01/96 13:57:06
17/02/95 15:16:22
16/02/95 18:23:49
10/02/95 17:55:27
22/01/95 14:38:22