Logic programming and automated reasoning. 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings (Q1309678)

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 SLDNF-resolution, 182-193 [Zbl 0793.68032] \textit{Manning, Alistair; Ireland, Andrew; Bundy, Alan}, Increasing the versatility of heuristic based theorem provers, 194-204 [Zbl 0793.68134] \textit{Massey, B. C.; Tick, E.}, Sequentialization of parallel logic programs with mode analysis, 205-216 [Zbl 0793.68036] \textit{Mayr, Klaus}, Refinements and extensions of model elimination, 217-228 [Zbl 0793.68135] \textit{Kappel, Angelica Maria}, Executable specifications based on dynamic algebras, 229-240 [Zbl 0793.68101] \textit{de Nivelle, H.}, Generic resolution in propositional modal systems, 241-252 [Zbl 0793.68136] \textit{Ohlbach, Hans Jürgen}, Optimized translation of multi modal logic into predicate logic, 253-264 [Zbl 0793.68138] \textit{Panitz, Sven Eric}, Default reasoning with a constraint resolution principle, 265-276 [Zbl 0793.68146] \textit{Ramesh, Anavai; Murray, Neil V.}, Non-clausal deductive techniques for computing prime implicants and prime implicates, 277-288 [Zbl 0793.68078] \textit{Schmidt-Schauß, Manfred}, Unification under one-sided distributivity with a multiplicative unit, 289-300 [Zbl 0793.68140] \textit{Socher-Ambrosius, Rolf}, Unification in order-sorted logic with term declarations, 301-308 [Zbl 0793.68141] \textit{Solnon, Christine; Rueher, Michel}, Extracting inheritance hierarchies from Prolog programs: A system based on the inference of type relations, 309-320 [Zbl 0793.68038] \textit{Sutcliffe, Geoff}, A comparison of mechanisms for avoiding repetition of subdeductions in chain format linear deduction systems, 321-332 [Zbl 0793.68142] \textit{Wagner, Gerd}, Neutralization and preemption in extended logic programs, 333-344 [Zbl 0797.68032] \textit{Baaz, Matthias; Fermüller, Christian G.; Ovrutcki, Arie; Zach, Richard}, MULTLOG: A system for axiomatizing many-valued logics, 345-347 [Zbl 0793.68126] \textit{Galmiche, D.; Hermann, O.}, SKIL: A system for programming with proofs, 348-350 [Zbl 0797.68143] \textit{Harrison, John; Théry, Laurent}, Reasoning about the reals: The marriage of HOL and Maple, 351-353 [Zbl 0793.68084] \textit{Gui, Yexuan; Okada, Mitsuhiro}, System description of LAMBDALG -- a higher order algebraic specification language, 354-356 [Zbl 0797.68113] \textit{Ó Nualláin, Breanndán}, Mixing metafor, 357-359 [Zbl 0793.68137] \textit{Soloviev, S.}, A complete axiom system for isomorphism of types in closed categories, 360-371 [Zbl 0797.18008] \textit{Wegner, Peter}, Reasoning, modeling, and component-based technology, 372-386 [Zbl 0793.68041]