8. ISLP 1991:
San Diego, California, USA Vijay A. Saraswat , Kazunori Ueda (Eds.):
Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28 - Nov 1, 1991. MIT Press 1991, ISBN 0-262-69147-7
Programming Environments
export record as
dblp key:
export record as
dblp key:
Non-Horn Programs
export record as
dblp key:
export record as
dblp key:
Non-Monotonicity I
export record as
dblp key:
export record as
dblp key:
Reasoning about Programs I
export record as
dblp key:
Laurent Fribourg :
Automatic Generation of Simplification Lemmas for Inductive Proofs.
103-116
export record as
dblp key:
Concurrency and Parallelism I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Types and Rewriting
export record as
dblp key:
Bob Carpenter :
Typed Feature Structures: A Generalization of First-Order Terms.
187-201
export record as
dblp key:
Non-Classical Logics I
export record as
dblp key:
export record as
dblp key:
Warren Abstract Machine
export record as
dblp key:
export record as
dblp key:
Non-Classical Logics II
export record as
dblp key:
export record as
dblp key:
Bottom-Up Evaluation
export record as
dblp key:
export record as
dblp key:
Language Constructs
export record as
dblp key:
Péter Szeredi :
Using Dynamic Predicates in an Or--Parallel Prolog System.
355-371
export record as
dblp key:
export record as
dblp key:
Constraints I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yves Caseau :
Abstract Interpretation of Constraints on Order-Sorted Domains.
435-452
Concurrency and Parallelism II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Reasoning about Programs II
export record as
dblp key:
Lutz Plümer :
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms.
503-517
export record as
dblp key:
export record as
dblp key:
Non-Monotonicity II
export record as
dblp key:
export record as
dblp key:
Applications
export record as
dblp key:
export record as
dblp key:
Program Transformation and Synthesis
export record as
dblp key:
Tadashi Kawamura :
Derivation of Efficient Logic Programs by Synthesizing New Predicates.
611-625
export record as
dblp key:
Hideaki Nakayama :
Program Transformation under the Principle of Proof as Program.
626-640
export record as
dblp key:
Constraints II
export record as
dblp key:
Christoph Brzoska :
Temporal Logic Programming and its Relation to Constraint Logic Programming.
661-677
export record as
dblp key:
export record as
dblp key:
Invited Talks
export record as
dblp key:
Johan van Benthem :
Reasoning and Programming: Analogies between Logic and Computation.
717-718
export record as
dblp key:
Koichi Furukawa :
Fifth Generation Computer Project: Towards Large-Scale Knowledge Information Processing.
719-731
Advanced Tutorials
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
