COLOG-88. International conference on computer logic, Tallinn, USSR, December 12-16, 1988. Proceedings

zbMath0709.00021MaRDI QIDQ1188612

No author found.

Publication date: 17 September 1992

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

zbMATH Keywords

Conference; Proceedings; COLOG-88; Computer logic; Tallinn (USSR)

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

Feedback for linearly distributive categories: Traces and fixpoints