Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997

DOI10.1016/S0304-3975(98)00303-XMaRDI QIDQ1963142zbMATH OpenOpenAlexFDO

Authors

Publication date 24 January 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(98)00303-x

zbMATH Keywords

Computer scienceConferenceLogical foundationsProceedingsYaroslavl (Russia)

Mathematics Subject Classification ID

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

Review text

The articles of this volume will be reviewed individually. The Proceedings have been published in Lecture Notes in Computer Science, Vol. 1234 (Berlin: Springer 1997; Zbl 0865.00035). The 3rd symposium 1994 has been reviewed (see Zbl 0865.00034).

Recommendations

• Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings
• Editorial
• Mathematical foundations of computer science 1975. 4th symposium, Mariánské Lázně, September 1--5, 1975
• Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24--28, 2015. Proceedings. Part I
• Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24--28, 2015. Proceedings. Part II

Cited in

(9)

• Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings
• Mathematical foundations of computer science 1975. 4th symposium, Mariánské Lázně, September 1--5, 1975
• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings
• Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings
• Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24--28, 2015. Proceedings. Part I
• scientific article; zbMATH DE number 1535994 (Why is no real title available?)
• Categories in Computer Science and Logic
• Editorial
• Editorial

This page was built for publication: Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997

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