Sciweavers

7

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

13 years 8 months ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

12

ELP
1989

108views Logical Reasoning» more ELP 1989»

Modal Provability Foundations for Negation by Failure

13 years 8 months ago

Modal Provability Foundations for Negation by Failure

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

11

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

13 years 8 months ago

Hypothetical Reasoning and Definitional Reflection in Logic Programming

Download www-ls.informatik.uni-tuebingen.de

Peter Schroeder-Heister

claim paper

Read More »

9

ELP
1989

84views Logical Reasoning» more ELP 1989»

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

13 years 8 months ago

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Download www.lix.polytechnique.fr

BSTRACTION, FUNCTION VARIABLES, AND SIMPLE UNIFICATION: Abstract Draft, 20 September 1989 Dale Miller Department of Computer and Information Science University of Pennsylvania Phil...

Dale Miller

claim paper

Read More »