scientific article; zbMATH DE number 1535994

MaRDI QIDQ4516319zbMATH OpenFDO

Authors

Publication date 27 November 2000

zbMATH Keywords

ConferenceLogicComputer scienceProceedingsNovi Sad (Yugoslavia)LIRA '97

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-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
• scientific article; zbMATH DE number 49787
• scientific article; zbMATH DE number 51905
• Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994
• Computational Logic
• scientific article; zbMATH DE number 6456199
• scientific article; zbMATH DE number 51865
• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science

Cited in

(3)

• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings
• scientific article; zbMATH DE number 51905 (Why is no real title available?)
• Logic and Computation

This page was built for publication:

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