Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

zbMATH Open0669.00003MaRDI QIDQ1118572

Author name not available (Why is that?)

Publication date: 1989

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

zbMATH Keywords

ProceedingsComputer scienceSymposiumLogic at BotikPereslavl- Zalessky (USSR)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Succinct arguments for RAM programs via projection codes

This page was built for publication: Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1118572)