Editorial

DOI10.1093/LOGCOM/EXAA089zbMATH Open1509.03009MaRDI QIDQ6484544FDOQ6484544

Authors: Sergei Artemov, Anil Nerode 

Publication date: 8 February 2022

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

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

Mathematics Subject Classification ID

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

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)