Search Sciweavers | Sciweavers

3566 search results - page 185 / 714

» Signed Logic Programs

click to vote

CACM
2010

122views more CACM 2010»

Functional logic programming

14 years 11 months ago

Download www.cs.unb.ca

Sergio Antoy, Michael Hanus

claim paper

Read More »

click to vote

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

14 years 11 months ago

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

click to vote

CORR
2010
Springer

58views Education» more CORR 2010»

Transformations of Logic Programs on Infinite Lists

14 years 11 months ago

Download www.iasi.cnr.it

Alberto Pettorossi, Maurizio Proietti, Valerio Sen...

claim paper

Read More »

click to vote

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

14 years 11 months ago

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

click to vote

CORR
2008
Springer

59views Education» more CORR 2008»

Logic programs with propositional connectives and aggregates

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers