Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1. ELP 1989: Tübingen, Germany
- Peter Schroeder-Heister:
Extensions of Logic Programming, International Workshop, Tübingen, FRG, December 8-10, 1989, Proceedings. Lecture Notes in Computer Science 475, Springer 1991, ISBN 3-540-53590-X - Jean-Marc Andreoli, Remo Pareschi
:
Logic Programming with Sequent Systems, A Linear Logic Approach. 1-30 - James H. Andrews:
Predicates as Parameters in Logic Programming, A Set-Theoretic Basis. 31-47 - Martin Aronsson, Lars-Henrik Eriksson, Lars Hallnäs, Per Kreuger:
A Survey of GCLA: A Definitional Approach to Logic Programming. 49-99 - Michael Beeson:
Some Applications of Gentzen's Proof Theory in Automated Deduction. 101-156 - Amy P. Felty:
A Logic Program for Transforming Sequent Proofs to Natural Deduction Proofs. 157-178 - Dov M. Gabbay:
Modal Provability Foundations for Negation by Failure. 179-222 - Elsa L. Gunter:
Extensions to Logic Programming Motivated by the Construction of a Generic Theorem Prover. 223-244 - Jörg Hudelmaier:
A Decision Procedure for Propositional N-Prolog. 245-251 - Dale Miller:
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification. 253-281 - Lawrence C. Paulson, Andrew W. Smith:
Logic Programming, Functional Programming, and Inductive Definitions. 283-309 - David Pearce, Gerd Wagner:
Logic Programming with Strong Negation. 311-326 - Peter Schroeder-Heister:
Hypothetical Reasoning and Definitional Reflection in Logic Programming. 327-339 - Antonius J. M. van Hoof, Jaap Hoepelman:
Non-Moniotonic and Conditionals in Dialogue Logic. 341-364
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-18 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
