Sciweavers

4 search results - page 1 / 1

» elp 1989

29

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

14 years 2 months ago

Hypothetical Reasoning and Definitional Reflection in Logic Programming

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

Peter Schroeder-Heister

claim paper

Read More »

27

ELP
1989

108views Logical Reasoning» more ELP 1989»

Modal Provability Foundations for Negation by Failure

14 years 2 months ago

Modal Provability Foundations for Negation by Failure

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

23

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

14 years 2 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 »

28

ELP
1989

84views Logical Reasoning» more ELP 1989»

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

14 years 2 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 »

« Prev « First page 1 / 1 Last » Next »