Search Sciweavers | Sciweavers

3566 search results - page 170 / 714

» Signed Logic Programs

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 3 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 3 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

102

click to vote

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

15 years 3 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

click to vote

IPPS
1997
IEEE

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

Logic Channels: A Coordination Approach to Distributed Programming

15 years 3 months ago

Download www.lcc.uma.es

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

claim paper

Read More »

click to vote

AGP
1996
IEEE

84views Artificial Intelligence» more AGP 1996»

On Termination of Constraint Logic Programs

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers