Sciweavers

47

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 19 days ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

50

ELP
1989

108views Logical Reasoning» more ELP 1989»

Modal Provability Foundations for Negation by Failure

15 years 1 months ago

Modal Provability Foundations for Negation by Failure

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

54

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 1 months ago

Hypothetical Reasoning and Definitional Reflection in Logic Programming

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

Peter Schroeder-Heister

claim paper

Read More »

48

Voted

ELP
1989

84views Logical Reasoning» more ELP 1989»

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

15 years 1 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 »