Journal Article
@Article
Artikel in Fachzeitschrift


Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




Author, Editor(s)

Author(s):

Ganzinger, Harald

dblp



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