Sciweavers

4513 search results - page 213 / 903

» Logic programming with satisfiability

100

ICLP
1998
Springer

97views Automated Reasoning» more ICLP 1998»

Proof-Theoretic Foundation of Compilation in Logic Programming

15 years 8 months ago

Proof-Theoretic Foundation of Compilation in Logic Programming

Download www.qatar.cmu.edu

Iliano Cervesato

claim paper

Read More »

83

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

15 years 8 months ago

Interface timing verification with delay correlation using constraint logic programming

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

93

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 8 months ago

Specialising Logic Programs with Respect to Call?Post Specifications

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

121

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 8 months ago

Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

142

Voted

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

15 years 8 months ago

Advanced Logic Program Specialisation

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

« Prev « First page 213 / 903 Last » Next »