Proceedings Volume
@Proceedings
Tagungsband, Workshopband


Show entries of:

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

Action:

login to update

Options:








Author, Editor

Editor(s):

Ganzinger, Harald

dblp



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:

17 September 2019

Event End Date:

17 September 2019

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