MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Bockmayr, Alexander
Werner, Andreas		dblp
dblp
Editor(s):
Dershowitz, Nachum
Lindenstrauss, Naomi		dblp
dblp
BibTeX cite key*:
BockmayrWerner94
Title, Booktitle
Title*:
LSE narrowing for decreasing conditional term rewrite systems
Booktitle*:
Conditional Term Rewriting Systems CTRS'94
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
Jerusalem, Israel
Language:
English
Event Date*
(no longer used):
July 1994
Organization:
Event Start Date:
14 May 2024
Event End Date:
14 May 2024
Publisher
Name*:
Springer
URL:
Address*:
Berlin, Germany
Type:
Proceedings
Vol, No, Year, pp.
Series:
Lecture Notes in Computer Science
Volume:
968
Number:
Month:
Pages:
51-70
Year*:
1995
VG Wort Pages:
ISBN/ISSN:
3-540-60381-6
Sequence Number:
DOI:
Note, Abstract, ©
(LaTeX) Abstract:
In an earlier paper, we introduced LSE narrowing, which is an optimal narrowing strategy for arbitrary canonical term rewrite systems without additional properties such as orthogonality or constructor discipline. In this paper, we extend LSE narrowing to confluent and decreasing conditional term rewrite systems.
Download
Access Level:

Correlation
MPG Unit:
Max-Planck-Institut für Informatik
MPG Subunit:
Programming Logics Group
Audience:
experts only
Appearance:
MPG publications list, university publications list, working group publication list, CCL bibliography



BibTeX Entry:
@INPROCEEDINGS{BockmayrWerner94,
AUTHOR = {Bockmayr, Alexander and Werner, Andreas},
 EDITOR = {Dershowitz, Nachum and Lindenstrauss, Naomi},
 TITLE = {LSE narrowing for decreasing conditional term rewrite systems},
 BOOKTITLE = {Conditional Term Rewriting Systems CTRS'94},
 PUBLISHER = {Springer},
 YEAR = {1995},
 TYPE = {Proceedings},
 VOLUME = {968},
 PAGES = {51--70},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Jerusalem, Israel},
 ISBN = {3-540-60381-6},
}

Entry last modified by Uwe Brahm/MPII/DE, 03/12/2010
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)
Uwe Brahm		Created
01/14/1995 06:51:04 PM
Revisions
16.
15.
14.
13.
12.		Editor(s)
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
03/25/96 08:22:06 PM
20.03.96 16:15:46
20.03.96 16:15:24
20.03.96 15:34:59
03/07/96 02:16:29 PM