Search Sciweavers | Sciweavers

4 search results - page 1 / 1

» elp 1989

153

Voted

ELP
1989

78views Logical Reasoning» more ELP 1989»

Hypothetical Reasoning and Definitional Reflection in Logic Programming

15 years 11 months ago

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

Peter Schroeder-Heister

claim paper

Read More »

150

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Modal Provability Foundations for Negation by Failure

15 years 11 months ago

Download www.dcs.kcl.ac.uk

Dov M. Gabbay

claim paper

Read More »

134

Voted

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 11 months ago

Download www.cl.cam.ac.uk

Lawrence C. Paulson, Andrew W. Smith

claim paper

Read More »

150

Voted

ELP
1989

84views Logical Reasoning» more ELP 1989»

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

15 years 11 months ago

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 »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers