Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband


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
Author(s):
Bertling, Hubert
Ganzinger, Harald
Schäfers, Renate
Nieuwenhuis, Robert
Orejas, Fernando		dblp
dblp
dblp
dblp
dblp
Editor(s):
Hoffmann, Berthold
Krieg-Brückner, Bernd		dblp
dblp

BibTeX cite key*:

Bertling-et-al-93

Title, Booktitle

Title*:

Completion Subsystem

Booktitle*:

Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System

Chapter:

4.3: {Part III: The System, Chapter}

Series:

Lecture Notes in Computer Science

Language:

English

Publisher

Name*:

Springer
URL:


Address*:

Berlin, Germany
Publication Type:


Vol, No, pp., Year

Volume:

680
Number:


Edition:


Pages*:

460-494

Month:


VG Wort Pages:


ISBN:

3-540-56733-X; 0-387-56733-X
Year*:

1993

Abstract, Links, ©

Note:


LaTeX Abstract:

The paper describes the Knuth/Bendix-like completion subsystem of the PROSPECTRA programming environment. It consists of two independent completion procedures for conditional equations. The paper introduces some of the underlying theory and contains examples that illustrate the use of these procedures.

URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


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:
@INBOOK{Bertling-et-al-93,
AUTHOR = {Bertling, Hubert and Ganzinger, Harald and Sch{\"a}fers, Renate and Nieuwenhuis, Robert and Orejas, Fernando},
 EDITOR = {Hoffmann, Berthold and Krieg-Br{\"u}ckner, Bernd},
 TITLE = {Completion Subsystem},
 BOOKTITLE = {Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System},
 PUBLISHER = {Springer},
 YEAR = {1993},
 VOLUME = {680},
 CHAPTER = {4.3: {Part III: The System, Chapter}},
 PAGES = {460--494},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Berlin, Germany},
 ISBN = {3-540-56733-X},
; ISBN = {0-387-56733-X},
}

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/22/1995 02:33:18 PM
Revisions
9.
8.
7.
6.
5.		Editor(s)
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Uwe Brahm/MPII/DE
Uwe Brahm/MPII/DE		Edit Dates
25/01/96 14:06:56
17/02/95 16:09:25
17/02/95 16:08:57
16/02/95 18:10:26
10/02/95 17:54:59