Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings
type: Item
instance of: scholarly article
title: Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings
zbMATH Open document ID: 0875.00121
DOI: 10.1007/3-540-56944-8
published in: Lecture Notes in Computer Science
publication date: 1993-12-07T00:00:00Z
review text: The articles of this volume will be reviewed individually within the Lecture Notes in Computer Science Database. Indexed articles: \textit{Aït-Kaci, Hassan; Podelski, Andreas}, Entailment and disentailment of order-sorted feature constraints, 1-18 [Zbl 0793.68022] \textit{Antoniou, Grigoris; Langetepe, Elmar; Sperschneider, Volker}, Computing extensions of default logic -- preliminary report, 19-27 [Zbl 0793.68023] \textit{Barklund, Jonas; Bevemyr, Johan}, Prolog with arrays and bounded quantifications, 28-39 [Zbl 0793.68024] \textit{Barth, Peter}, Linear \(0-1\) inequalities and extended clauses, 40-51 [Zbl 0793.68025] \textit{Brüning, Stefan}, Search space pruning by checking dynamic term growth, 52-63 [Zbl 0793.68028] \textit{Chau, Hiu Fai}, A proof search system for a modal substructural logic based on labelled deductive systems, 64-75 [Zbl 0793.68088] \textit{Chebotarev, Anatoli N.; Morokhovets, Marina K.}, Consistency checking of automata functional specifications, 76-85 [Zbl 0793.68102] \textit{Corsini, Marc-Michel; Griffault, Alain; Rauzy, Antoine}, Yet another application for Toupie: Verification of mutual exclusion algorithms, 86-97 [Zbl 0793.68029] \textit{Davison, Andrew}, Parsing with DCG-terms, 98-109 [Zbl 0793.68097] \textit{Egly, Uwe}, A first order resolution calculus with symmetries, 110-121 [Zbl 0793.68129] \textit{Fermüller, Christian; Salzer, Gernot}, Ordered paramodulation and resolution as decision procedure, 122-133 [Zbl 0793.68131] \textit{Filé, Gilberto; Rossi, Sabina}, Static analysis of Prolog with cut, 134-145 [Zbl 0793.68030] \textit{Gardner, Philippa}, A new type theory for representing logics, 146-157 [Zbl 0793.68089] \textit{Hähnle, Reiner; Kernig, Werner}, Verification of switch-level designs with many-valued logic, 158-169 [Zbl 0793.68133] \textit{Hibti, M.; Lombardi, H.; Legeard, B.}, Deciding in HFS-theory via linear integer programming, 170-181 [Zbl 0790.90052] \textit{Hill, P. M.}, The completion of typed logic programs and SLD…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 474392
zbMATH Keywords: St. Petersburg (Russia)
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: LPAR '93
zbMATH Keywords: Logic programming
zbMATH Keywords: Automated reasoning
describes a project that uses: Maple
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-56944-8
OpenAlex ID: W2624357053
description: scientific article; zbMATH DE number 474392