Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings
type: Item
instance of: scholarly article
title: Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings
zbMATH Open document ID: 0952.00026
published in: Lecture Notes in Computer Science
publication date: 2000-12-13T00:00:00Z
review text: The articles of this volume will be reviewed individually. The preceding conference (6th, 1999) has been reviewed (see Zbl 0921.00037). Indexed articles: \textit{Eiter, Thomas; Gottlob, Georg}, On the complexity of theory curbing, 1-19 [Zbl 0988.68176] \textit{Courcelle, Bruno}, Graph operations and monadic second-order logic: A survey, 20-24 [Zbl 0988.68559] \textit{Marion, Jean-Yves; Moyen, J.-Y.}, Efficient first order functional program interpreter with time bound certifications, 25-42 [Zbl 0988.68043] \textit{Grieskamp, Wolfgang; Lepper, Markus}, Encoding temporal logics in executable Z: A case study for the ZETA system, 43-53 [Zbl 0988.68563] \textit{Lasota, Sławomir}, Behavioural constructor implementation for regular algebras, 54-69 [Zbl 0988.68110] \textit{Hallgren, Thomas; Ranta, Aarne}, An extensible proof text editor, 70-84 [Zbl 0988.68586] \textit{Delahaye, David}, A tactic language for the system Coq, 85-95 [Zbl 0988.68584] \textit{Koshimura, Miyuki; Hasegawa, Ryuzo}, Proof simplification for model generation and its applications, 96-113 [Zbl 0988.68165] \textit{Fermüller, Christian G.; Moser, Georg}, Have SPASS with \(OCC1N_g^=\), 114-130 [Zbl 0988.68163] \textit{Jacquemard, Florent; Rusinowitch, Michaël; Vigneron, Laurent}, Compiling and verifying security protocols, 131-160 [Zbl 0988.68562] \textit{Groote, Jan Friso; van de Pol, Jaco}, Equational binary decision diagrams, 161-178 [Zbl 0988.68590] \textit{Canovas-Dumas, Cécile; Caspi, Paul}, A PVS proof obligation generator for Lustre programs, 179-188 [Zbl 0988.68539] \textit{Bagnara, Roberto; Hill, Patricia M.; Zaffanella, Enea}, Efficient structural information analysis for real CLP languages, 189-206 [Zbl 0988.68035] \textit{Loddo, Jean-Vincent; Di Cosmo, Roberto}, Playing logic programs with the Alpha-Beta algorithm, 207-224 [Zbl 0988.68036] \textit{Pelov, Nikolay; De Mot, Emmanuel; Denecker, Marc}, Logic programming approaches for representing and solving constraint satisfaction problems: A com…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 68-06
zbMATH DE Number: 1542810
zbMATH Keywords: Reunion Island (France)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: LPAR 2000
zbMATH Keywords: Logic
zbMATH Keywords: Programming
zbMATH Keywords: Automated reasoning
describes a project that uses: Coq
MaRDI profile type: Publication
Recommended article: Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15--19, 2007. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10--15, 2010. Proceedings
Recommended article: Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
Recommended article: Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
Recommended article: Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 8th international conference, LPAR 2001, Havana, Cuba, December 3--7, 2001. Proceedings.
Recommended article: Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
Recommended article: Logic for programming, artificial intelligence, and reasoning. 20th international conference, LPAR-20 2015, Suva, Fiji, November 24--28, 2015. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
Recommended article: Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22--26, 2003. Proceedings
description: scientific article; zbMATH DE number 1542810