Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings

MaRDI QIDQ1297714zbMATH OpenFDO

Authors

Publication date 12 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

ConferenceLogicProceedingsProgrammingAutomated reasoningLPAR '99Tbilisi (Georgia)

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

(5)

• scientific article; zbMATH DE number 1380687 (Why is no real title available?)
• Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
• Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings
• SOME MODEL THEORY OF GUARDED NEGATION
• Logic, language, and computation. 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12--16, 2005. Revised selected papers.

This page was built for publication: Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings

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