Proceedings Article, Paper
@InProceedings
Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Delzanno, Giorgio

dblp



Editor(s):

Galmiche, Didier

dblp



BibTeX cite key*:

Delzanno1998

Title, Booktitle

Title*:

Specification of Term Rewriting in Linear Logic

Booktitle*:

Proceedings of Workshop on Proof-Search in Type-Theoretic Languages

Event, URLs

URL of the conference:


URL for downloading the paper:


Event Address*:

Lindau, Germany

Language:

English

Event Date*
(no longer used):

July, 5

Organization:


Event Start Date:

22 September 2019

Event End Date:

22 September 2019

Publisher

Name*:

Elsevier

URL:


Address*:

Amsterdam, the Netherlands

Type:


Vol, No, Year, pp.

Series:

Eletrical Notes in Theoretical Computer Science

Volume:

17

Number:


Month:


Pages:

??

Year*:

1998

VG Wort Pages:


ISBN/ISSN:


Sequence Number:


DOI:




Note, Abstract, ©


(LaTeX) Abstract:

We present an axiomatization of term rewriting systems in Forum,
a presentation of linear logic in terms of uniform proofs,
which allows us to relate provability and derivability
in a natural way.
The resulting theory can be used to prove properties of the
original system.
Vice versa the structure of the formulas used in the encoding suggests
us a possible operational interpretation of Forum.
The considered fragment turns out to be an extension
of previously proposed multi-conclusion logics.

Keywords:

Linear Logic, Term Rewriting


Download
Access Level:


Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat



BibTeX Entry:

@INPROCEEDINGS{Delzanno1998,
AUTHOR = {Delzanno, Giorgio},
EDITOR = {Galmiche, Didier},
TITLE = {Specification of Term Rewriting in Linear Logic},
BOOKTITLE = {Proceedings of Workshop on Proof-Search in Type-Theoretic Languages},
PUBLISHER = {Elsevier},
YEAR = {1998},
VOLUME = {17},
PAGES = {??},
SERIES = {Eletrical Notes in Theoretical Computer Science},
ADDRESS = {Lindau, Germany},
}


Entry last modified by Christine Kiesel, 03/12/2010
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)
Giorgio Delzanno
Created
04/21/1999 11:58:44 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Christine Kiesel
Giorgio Delzanno
Giorgio Delzanno
Edit Dates
14.03.2001 13:51:28
31/03/2000 11:14:46
22/04/99 12:20:52
21/04/99 11:58:44