Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
type: Item
instance of: scholarly article
title: Logic programming and automated reasoning. International conference, LPAR `92, St. Peterburg, Russia, July 15--20, 1992. Proceedings
zbMATH Open document ID: 0916.00020
published in: Lecture Notes in Computer Science
publication date: 1999-07-01T00:00:00Z
review text: The articles of mathematical interest will be reviewed individually. The 5th conference 1994 (see Zbl 0875.00092) and the 4th conference 1993 (see Zbl 0875.00121) have been announced. Indexed articles: \textit{Harland, J. A.; Pym, D. J.}, On resolution in fragments of classical linear logic, 30-41 [Zbl 0920.03017] \textit{Galmiche, Didier; Perrier, Guy}, A procedure for automatic proof nets construction, 42-53 [Zbl 0920.03015] \textit{Baaz, Matthias; Fermüller, Christian G.}, Resolution for many-valued logics, 107-118 [Zbl 0920.03019] \textit{Baumgartner, Peter}, An ordered theory resolution calculus, 119-130 [Zbl 0920.03016] \textit{McCune, William; Wos, Larry}, Application of automated deduction to the search for single axioms for exponent groups, 131-136 [Zbl 0925.20002] \textit{Egly, Uwe}, Shortening proofs by quantifier introduction, 148-159 [Zbl 0920.03020] \textit{Parigot, Michel}, \(\lambda\mu\)-calculus: an algorithmic interpretation of classical natural deduction, 190-201 [Zbl 0925.03092] \textit{Boy de la Tour, Thierry; Kreitz, Christoph}, Building proofs by analogy via the Curry-Howard isomorphism, 202-213 [Zbl 0925.68400] \textit{Baker, S.; Ireland, A.; Smaill, A.}, On the use of the constructive omega-rule within automated deduction, 214-225 [Zbl 0920.03018] \textit{Ringeissen, Christophe}, Unification in a combination of equational theories with shared constants and its application to primal algebras, 261-272 [Zbl 0920.08001] \textit{Bachmair, Leo; Ganzinger, Harald}, Nonclausal resolution and superposition with selection and redundancy criteria, 273-284 [Zbl 0925.03063] \textit{Gramlich, Berndhard}, Relating innermost, weak, uniform and modular termination of term rewriting systems, 285-296 [Zbl 0925.68269] \textit{Bai, Mino; Blair, Howard A.}, General model-theoretic semantics for higher-order Horn logic programming, 320-331 [Zbl 0925.68100] \textit{Walther, Christoph}, Computing induction axioms, 381-392 [Zbl 0925.03053] \textit{Salzer, Gernot}, Th…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1313103
zbMATH Keywords: St. Peterburg (Russia)
zbMATH Keywords: Proceedings
zbMATH Keywords: Conference
zbMATH Keywords: Logic programming
zbMATH Keywords: Automated reasoning
zbMATH Keywords: LPAR `92
MaRDI profile type: Publication
Recommended article: Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings
Recommended article: Logic programming and automated reasoning. 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994. Proceedings
Recommended article: Logic programming. Papers from the 1st Russian conference held in Irkutsk, Russia, September 14--18, 1990, and the 2nd conference held in St. Petersburg, Russia, September 11--16, 1991
Recommended article: Logic for programming and automated reasoning. 6th international conference, LPAR '99, Tbilisi, Georgia, September 6--10, 1999. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14--18, 2002. Proceedings
Recommended article: Logic for programming and automated reasoning. 7th international conference, LPAR 2000, Reunion Island, France, November 6--10, 2000. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22--26, 2003. Proceedings
Recommended article: Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14--19, 2013. Proceedings
Recommended article: Q4223130
Recommended article: Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15--19, 2007. Proceedings
description: scientific article; zbMATH DE number 1313103