TY  - GEN
AU  - Nielsen, M.,
AU  - Thomas,Wolfgang
ED  - Workshop On Computer Science Logic
ED  - European Association for Computer Science Logic.
TI  - Computer science logic: 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers 
T2  - Lecture notes in computer science
SN  - 3540645705 (softcover : alk. paper)
AV  - QA76.9.L63 W67 1998
PY  - 1998///
CY  - Berlin, New York
PB  - Springer
KW  - Computer logic
KW  - Congresses
N1  - Includes bibliographical references and index
ER  -