Sciweavers

2585 search results - page 19 / 517

» Automating Coherent Logic

22

ICLP
1991
Springer

98views Automated Reasoning» more ICLP 1991»

Introduction to Logic Programming

13 years 11 months ago

Introduction to Logic Programming

Download tinf2.vub.ac.be

Jean-Marie Jacquet

claim paper

Read More »

31

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

13 years 11 months ago

A First-Order Theory of Types and Polymorphism in Logic Programming

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

17

LPAR
1991
Springer

127views Automated Reasoning» more LPAR 1991»

Abstract Syntax and Logic Programming

13 years 11 months ago

Abstract Syntax and Logic Programming

Download www.lix.polytechnique.fr

Dale Miller

claim paper

Read More »

14

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

13 years 11 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

LICS
1987
IEEE

53views Automated Reasoning» more LICS 1987»

Domain Theory in Logical Form

13 years 11 months ago

Domain Theory in Logical Form

Download www.comlab.ox.ac.uk

Samson Abramsky

claim paper

Read More »

« Prev « First page 19 / 517 Last » Next »