Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
From MaRDI portal
Publication:1297714
zbMATH Open0921.00037MaRDI QIDQ1297714FDOQ1297714
Authors:
Publication date: 12 September 1999
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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)
- Title not available (Why is that?)
- Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
- SOME MODEL THEORY OF GUARDED NEGATION
- Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings
- 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)
