scientific article; zbMATH DE number 1535994

zbMATH Open0977.00022MaRDI QIDQ4516319FDOQ4516319

Author name not available (Why is that?)

Publication date: 27 November 2000

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

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

   Recommendations

• Logical foundations of computer science. LFCS '97, 4th international symposium on logical foundations of computer science in Yaroslavl, Russia, July 6-12, 1997 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)