Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

login to update
Options:








Author, Editor
Editor(s):
Ganzinger, Haralddblp

BibTeX citekey*:

GanzingerRTA96
Language:

English

Title, Conference

Title*:

Rewriting Techniques and Applications, 7th International Conference, RTA-96



Event Address*:

Rutgers University, New Brunswick, NJ, USA
Conference URL:


Event Start Date:

18 May 2024
Event End Date:

18 May 2024

Event Date*
(no longer used):

July 27-30, 1996
Organization:

Center for Discrete Mathematics and Computer Science (DIMACS)

Publisher

Name*:

Springer
Publisher's URL:






Address*:

Berlin, Germany
Publishing Year*:

1996

Vol, No, pp., Year

Series:

Lecture Notes in Computer Science

Volume:

1103
Number:


Month:


Pages*:

435

ISBN:

3-540-61464-8
VG Wort Pages:


ISSN:




Abstract, Links, ©

Note:

One of the conferences participating in the 1996 Federated Logic Conference (FLoC)

LaTeX 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:
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography



BibTeX Entry:
@PROCEEDINGS{GanzingerRTA96,
EDITOR = {Ganzinger, Harald},
 TITLE = {Rewriting Techniques and Applications, 7th International Conference, RTA-96},
 PUBLISHER = {Springer},
 YEAR = {1996},
 ORGANIZATION = {Center for Discrete Mathematics and Computer Science (DIMACS)},
 VOLUME = {1103},
 PAGES = {435},
 SERIES = {Lecture Notes in Computer Science},
 ADDRESS = {Rutgers University, New Brunswick, NJ, USA},
 ISBN = {3-540-61464-8},
 NOTE = {One of the conferences participating in the 1996 Federated Logic Conference (FLoC)},
}

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)
Uwe Brahm		Created
03/25/1997 11:51:02 AM
Revisions
3.
2.
1.
0.
Editor(s)
Christine Kiesel
Uwe Brahm
Uwe Brahm
Uwe Brahm
Edit Dates
28/01/98 10:44:41
27.03.97 15:08:52
25.03.97 15:22:37
25/03/97 11:53:28