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


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

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