Sciweavers

4370 search results - page 271 / 874

» Algebra of Logic Programming

61

CORR
2010
Springer

106views Education» more CORR 2010»

Controlling program extraction in Elementary Linear Logic

15 years 3 months ago

Controlling program extraction in Elementary Linear Logic

Download perso.ens-lyon.fr

Marc Lasson

claim paper

Read More »

43

CORR
2010
Springer

58views Education» more CORR 2010»

Transformations of Logic Programs on Infinite Lists

15 years 3 months ago

Transformations of Logic Programs on Infinite Lists

Download www.iasi.cnr.it

Alberto Pettorossi, Maurizio Proietti, Valerio Sen...

claim paper

Read More »

86

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

15 years 3 months ago

Automated Termination Proofs for Logic Programs by Term Rewriting

Download tocl.acm.org

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

claim paper

Read More »

56

CORR
2008
Springer

59views Education» more CORR 2008»

Logic programs with propositional connectives and aggregates

15 years 3 months ago

Logic programs with propositional connectives and aggregates

Download tocl.acm.org

Paolo Ferraris

claim paper

Read More »

91

AMAI
2006
Springer

75views Artificial Intelligence» more AMAI 2006»

Conceptual logic programs

15 years 3 months ago

Conceptual logic programs

Download www.kr.tuwien.ac.at

Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir

claim paper

Read More »

« Prev « First page 271 / 874 Last » Next »