Editorial

DOI10.1093/LOGCOM/EXAA089MaRDI QIDQ6484544zbMATH OpenFDO

Authors Sergei Artemov, Anil Nerode

Publication date 8 February 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Recommendations

• Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997
• LICS 2001 special issue
• Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings
• Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
• Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24--28, 2015. Proceedings. Part I

Cited in

(4)

• Editorial
• Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings
• Editorial
• Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997

This page was built for publication: Editorial

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