Computer science logic
Subtitle: 13th international workshop, CSL'99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings
By: Jörg Flum, Mario Rodrʹiguez-Artalejo (eds.).
Contributors: Flum, Jörg; Rodríguez Artalejo, M. (Mario)
Series: Lecture notes in computer science -- 1683
Publisher: Springer
Published: 1999
Place of publication: Berlin; New York
Language: eng
Number of pages: 580
Subjects: Computer logic; Congresses
Notes: Includes bibliographical references.