Search Sciweavers | Sciweavers

5198 search results - page 274 / 1040

» A Logic of Agent Programs

101

click to vote

DATE
1997
IEEE

58views Hardware» more DATE 1997»

Interface timing verification with delay correlation using constraint logic programming

15 years 10 months ago

Download www.cecs.uci.edu

Pierre Girodias, Eduard Cerny

claim paper

Read More »

114

click to vote

LOPSTR
1998
Springer

101views Automated Reasoning» more LOPSTR 1998»

Specialising Logic Programs with Respect to Call?Post Specifications

15 years 10 months ago

Download www.dsi.unive.it

Annalisa Bossi, Sabina Rossi

claim paper

Read More »

143

click to vote

PEPM
1998
ACM

92views Software Engineering» more PEPM 1998»

Logic Program Specialisation

15 years 10 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

167

click to vote

PEPM
1998
ACM

118views Software Engineering» more PEPM 1998»

Advanced Logic Program Specialisation

15 years 10 months ago

Download folli.loria.fr

Michael Leuschel

claim paper

Read More »

132

click to vote

IPPS
1997
IEEE

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

Logic Channels: A Coordination Approach to Distributed Programming

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers