Pages that link to "Item:Q1963142"
From MaRDI portal
The following pages link to Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 (Q1963142):
Displaying 7 items.
- Logic at Botik '89. Symposium on logical foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings (Q1118572) (← links)
- Mathematical foundations of computer science 1975. 4th symposium, Mariánské Lázně, September 1--5, 1975 (Q1218403) (← links)
- LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings (Q1327712) (← links)
- Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8--11, 2018. Proceedings (Q1691440) (← links)
- Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24--28, 2015. Proceedings. Part I (Q2517337) (← links)
- (Q4516319) (← links)
- Editorial (Q6484544) (← links)