Sciweavers

3738 search results - page 194 / 748

» Parametrized Logic Programming

104

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 »

89

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 »

98

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 »

124

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 »

148

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 194 / 748 Last » Next »