Computer Science Logic‚ 12th International Workshop‚ CSL '98‚ Annual Conference of the EACSL‚ Brno‚ Czech Republic‚ August 24−28‚ 1998‚ Proceedings
Editor
Georg Gottlob and Etienne Grandjean and Katrin Seyr
ISBN
3−540−65922−6
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
1584
Year
1999