MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Delzanno, Giorgiodblp
Editor(s):
Galmiche, Didierdblp
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
Conference URL::
Downloading URL:
Event Address*:
Lindau, Germany
Language:
English
Event Date*
(no longer used):
July, 5
Organization:
Event Start Date:
22 May 2024
Event End Date:
22 May 2024
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
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