Computer science logic. 11th international workshop, CSL '97. Annual conference of the EACSL, Aarhus, Denmark, August 23--29, 1997. Proceedings

DOI10.1007/BFb0028003zbMath0891.00021MaRDI QIDQ1389771

No author found.

Publication date: 1 July 1998

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Proceedings; Workshop; Aarhus (Denmark); Computer science logic; CSL '97

Mathematics Subject Classification ID

00B25: Proceedings of conferences of miscellaneous specific interest

68-06: Proceedings, conferences, collections, etc. pertaining to computer science

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

Related Items

Finite Variable Logics in Descriptive Complexity Theory