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-tcs

Title

Title*:

Order-Sorted Completion: The Many-Sorted Way

Journal

Journal Title*:

Theoretical Computer Science

Journal's URL:


Download URL
for the article:


Language:

English

Publisher

Publisher's
Name:

North-Holland Publishing Co.

Publisher's URL:


Publisher's
Address:


ISSN:

0304-3975

Vol, No, pp, Date

Volume*:

89

Number:

-

Publishing Date:

1991

Pages*:

3-32

Number of
VG Pages:


Page Start:


Page End:


Sequence Number:


DOI:


Note, Abstract, ©

Note:


(LaTeX) Abstract:

Order-sorted specifications can be transformed into equivalent many-sorted ones by using injections to implement subsort relations. In this paper we improve previous results
% of Goguen, Jouannaud, and Meseguer
about the relation between order-sorted and many-sorted rewriting. We then apply techniques for the completion of many-sorted conditional equations to systems obtained from translating order-sorted conditional equations. Emphasis will be on ways to overcome some of the problems with non-sort-decreasing rules.

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-tcs,
AUTHOR = {Ganzinger, Harald},
TITLE = {Order-Sorted Completion: The Many-Sorted Way},
JOURNAL = {Theoretical Computer Science},
PUBLISHER = {North-Holland Publishing Co.},
YEAR = {1991},
NUMBER = {-},
VOLUME = {89},
PAGES = {3--32},
ISBN = {0304-3975},
}


Entry last modified by Uwe Brahm, 08/25/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
7.
6.
5.
4.
3.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Edit Dates
16/03/97 00:50:57
16/03/97 00:50:18
25/01/96 12:52:40
25/01/96 12:51:57
16/02/95 18:24:24