Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994

zbMATH Open0851.00041MaRDI QIDQ1815290FDOQ1815290

Author name not available (Why is that?)

Publication date: 7 November 1996

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

ConferenceLogicComputer scienceProceedingsSt. Petersburg (Russia)

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)

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

This page was built for publication: Papers in honor of the symposium on logical foundations of computer science, `Logic at St. Petersburg', St. Petersburg, Russia, July 12--15, 1994

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