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):

Bockmayr, Alexander

dblp



BibTeX cite key*:

Bockmayr93c

Title

Title*:

Conditional Narrowing Modulo a Set of Equations

Journal

Journal Title*:

Applicable Algebra in Engineering, Communication and Computing

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*:

4

Number:

3

Publishing Date:

September 1993

Pages*:

147-168

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

Narrowing is a universal unification procedure for equational theories given by a canonical term rewrite system. In this paper we introduce conditional narrowing modulo a set of conditional equations and give a full proof of its correctness and completeness for equational conditional rewrite systems $R,E$ without extravariables where $E$ is regular and $R,E$ is Church-Rosser modulo $E$ and decrasing modulo $E$. This result can be seen as the theoretical foundation of a special form of constraint logic and functional programming.

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:

, CCL bibliography


BibTeX Entry:

@ARTICLE{Bockmayr93c,
AUTHOR = {Bockmayr, Alexander},
TITLE = {Conditional Narrowing Modulo a Set of Equations},
JOURNAL = {Applicable Algebra in Engineering, Communication and Computing},
YEAR = {1993},
NUMBER = {3},
VOLUME = {4},
PAGES = {147--168},
MONTH = {September},
}


Entry last modified by Christine Kiesel/AG2/MPII/DE, 08/28/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/14/1995 06:50:54 PM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Edit Dates
31/01/95 12:52:30
21/01/95 20:46:24
17/01/95 21:17:31
14/01/95 19:00:53