Search Sciweavers | Sciweavers

3481 search results - page 208 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 7 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

116

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 7 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

134

click to vote

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

15 years 7 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

102

Voted

IPPS
1997
IEEE

79views Distributed And Parallel Com...» more IPPS 1997»

Logic Channels: A Coordination Approach to Distributed Programming

15 years 7 months ago

Download www.lcc.uma.es

Manuel Díaz, Bartolomé Rubio, Jos&ea...

claim paper

Read More »

click to vote

COCO
1997
Springer

81views Algorithms» more COCO 1997»

Complexity and Expressive Power of Logic Programming

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers