Sciweavers

17

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

14 years 17 hour ago

Logic Programming, Functional Programming, and Inductive Definitions

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

22

ELP
1989

108views Logical Reasoning» more ELP 1989»

Modal Provability Foundations for Negation by Failure

14 years 17 days ago

Modal Provability Foundations for Negation by Failure

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

23

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

14 years 17 days ago

Hypothetical Reasoning and Definitional Reflection in Logic Programming

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

Peter Schroeder-Heister

claim paper

Read More »

23

ELP
1989

84views Logical Reasoning» more ELP 1989»

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

14 years 17 days 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 »