Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister, editors, Extensions of Logic Programming, Second International Workshop, ELP 91, Stockholm, Sweden, January 27-29, 1991, Proceedings. Volume 596 of Lecture Notes in Computer Science, Springer, 1992.

Conference: elp1992

Abstract is missing.

Methodology and Programming Techniques in GCLA IIMartin Aronsson. 1-44

Extended Logic-plus-Functional ProgrammingHarold Boley. 45-72

Open Logic TheoriesAntonio Brogi, Evelina Lamma, Paola Mello. 73-88

A Finitary Version of the Calculus of Partial Inductive DefintionsLars-Henrik Eriksson. 89-134

A Logic Programming Approach to Implementing Higher-Order Term RewritingAmy P. Felty. 135-161

An Overview of the Andorra Kernel LanguageTorkel Franzén, Seif Haridi, Sverker Janson. 163-179

Logical and Computational Invariants of ProgramsLars Hallnäs. 181-191

Implementing lambda-Calculus Reduction Strategies in Extended Logic Programming LanguagesJohn Hannan. 193-219

Terminological Reasoning and Partial Inductive DefinitionsPhilipp Hanschke. 221-237

GCLA II - A Definitional Approach to ControlPer Kreuger. 239-297

Natural Semantics and Some of Its Meta-Theory in ElfSpiro Michaylov, Frank Pfenning. 299-344

The Near-Horn Approach to Disjunctive Logic ProgrammingDavid W. Reed, Donald W. Loveland, Bruce T. Smith. 345-369

runs on WebDSL