scientific article; zbMATH DE number 1535994

zbMATH Open0977.00022MaRDI QIDQ4516319FDOQ4516319

Authors:

Publication date: 27 November 2000

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

• LFCS '94, Logical foundations of computer science. 3rd International Symposium, St. Petersburg, Russia, July 11-14, 1994. Proceedings
• Title not available (Why is that?)
• 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)