Search Sciweavers | Sciweavers

1581 search results - page 4 / 317

» Mechanizing Inductive Reasoning

226

click to vote

POPL
2008
ACM

129views Programming Languages» more POPL 2008»

Relational inductive shape analysis

16 years 2 months ago

Download www.cs.colorado.edu

alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...

Bor-Yuh Evan Chang, Xavier Rival

claim paper

Read More »

click to vote

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

15 years 6 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

180

Voted

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

15 years 6 months ago

Download www-users.cs.york.ac.uk

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

15 years 6 months ago

Download www.cs.bris.ac.uk

Peter A. Flach

claim paper

Read More »

click to vote

ELP
1989

108views Logical Reasoning» more ELP 1989»

Logic Programming, Functional Programming, and Inductive Definitions

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers