Search Sciweavers | Sciweavers

1581 search results - page 4 / 317

» Mechanizing Inductive Reasoning

315

click to vote

POPL
2008
ACM

129views Programming Languages» more POPL 2008»

Relational inductive shape analysis

16 years 7 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 »

155

Voted

CSL
1999
Springer

83views Automated Reasoning» more CSL 1999»

Monadic Presentations of Lambda Terms Using Generalized Inductive Types

15 years 11 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Bernhard Reus

claim paper

Read More »

278

click to vote

LLL
1999
Springer

357views Automated Reasoning» more LLL 1999»

An Introduction to Inductive Logic Programming and Learning Language in Logic

15 years 11 months ago

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

Saso Dzeroski, James Cussens, Suresh Manandhar

claim paper

Read More »

167

click to vote

ILP
1997
Springer

116views Automated Reasoning» more ILP 1997»

Normal Forms for Inductive Logic Programming

15 years 11 months ago

Download www.cs.bris.ac.uk

Peter A. Flach

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

Sciweavers

Explore & Download

Productivity Tools

Sciweavers