Sciweavers

3342 search results - page 54 / 669

» Automating Abstract Interpretation

156

CADE
2003
Springer

124views Logical Reasoning» more CADE 2003»

Equational Abstractions

16 years 6 months ago

Equational Abstractions

Download maude.cs.uiuc.edu

José Meseguer, Miguel Palomino, Narciso Mar...

claim paper

Read More »

136

ICLP
2007
Springer

120views Automated Reasoning» more ICLP 2007»

Logic Programs with Abstract Constraint Atoms: The Role of Computations

16 years 22 days ago

Logic Programs with Abstract Constraint Atoms: The Role of Computations

Download www.cs.nmsu.edu

Lengning Liu, Enrico Pontelli, Tran Cao Son, Miros...

claim paper

Read More »

148

RR
2007
Springer

111views Automated Reasoning» more RR 2007»

Bridging Concrete and Abstract Syntax of Web Rule Languages

16 years 21 days ago

Bridging Concrete and Abstract Syntax of Web Rule Languages

Download rewerse.net

Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...

claim paper

Read More »

165

ILP
2005
Springer

169views Automated Reasoning» more ILP 2005»

Automatic Induction of Abduction and Abstraction Theories from Observations

16 years 2 days ago

Automatic Induction of Abduction and Abstraction Theories from Observations

Download www.di.uniba.it

Stefano Ferilli, Teresa Maria Altomare Basile, Nic...

claim paper

Read More »

165

Voted

TPHOL
2003
IEEE

124views Automated Reasoning» more TPHOL 2003»

Applications of Polytypism in Theorem Proving

15 years 12 months ago

Applications of Polytypism in Theorem Proving

Download www.gilith.com

Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...

Konrad Slind, Joe Hurd

claim paper

Read More »

« Prev « First page 54 / 669 Last » Next »