Logical foundations of computer science. Tver '92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings

DOI10.1007/BFB0023857zbMATH Open0954.00500MaRDI QIDQ1592477

Author name not available (Why is that?)

Publication date: 21 January 2001

Published in: (Search for Journal in Brave)

zbMATH Keywords

No records found.

Mathematics Subject Classification ID

No records found.

This page was built for publication: Logical foundations of computer science. Tver '92, 2nd international symposium, Tver, Russia, July 20-24, 1992. Proceedings

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