MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

Proceedings Article, Paper


@InProceedings
Beitrag in Tagungsband, Workshop
Author, Editor
Author(s):
Brink, Chris
Britz, Katarina
Schmidt, Renate A.		dblp
dblp
dblp
Editor(s):
Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Guiseppe		dblp
dblp
dblp
dblp
BibTeX cite key*:
BrinkBritzSchmidt94b
Title, Booktitle
Title*:
Peirce Algebras: Extended Abstract
Booktitle*:
Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93)
Event, URLs
Conference URL::
Downloading URL:
Event Address*:
University of Twente, Enschede, Netherlands
Language:
English
Event Date*
(no longer used):
June 21-25, 1993
Organization:
Event Start Date:
15 May 2024
Event End Date:
15 May 2024
Publisher
Name*:
Springer
URL:
Address*:
London, UK
Type:
Vol, No, Year, pp.
Series:
Workshops in Computing
Volume:
Number:
Month:
Pages:
163-166
Year*:
1994
VG Wort Pages:
ISBN/ISSN:
Sequence Number:
DOI:
Note, Abstract, ©
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, university publications list



BibTeX Entry:
@INPROCEEDINGS{BrinkBritzSchmidt94b,
AUTHOR = {Brink, Chris and Britz, Katarina and Schmidt, Renate A.},
 EDITOR = {Nivat, Maurice and Rattray, Charles and Rus, Teodor and Scollo, Guiseppe},
 TITLE = {Peirce Algebras: Extended Abstract},
 BOOKTITLE = {Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93)},
 PUBLISHER = {Springer},
 YEAR = {1994},
 PAGES = {163--166},
 SERIES = {Workshops in Computing},
 ADDRESS = {University of Twente, Enschede, Netherlands},
}

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)
Christine Kiesel		Created
02/17/1995 03:33:04 PM
Revisions
9.
8.
7.
6.
5.		Editor(s)
Christine Kiesel
Uwe Brahm
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE
Christine Kiesel/AG2/MPII/DE		Edit Dates
03.09.2001 16:53:36
03/27/98 09:15:06 PM
24/02/95 10:14:06
20/02/95 16:51:20
20/02/95 15:22:58