Search Sciweavers | Sciweavers

3546 search results - page 207 / 710

» A Causal Logic of Logic Programming

137

click to vote

CONSTRAINTS
1999

111views more CONSTRAINTS 1999»

Scheduling Sport Tournaments using Constraint Logic Programming

15 years 4 months ago

Download www.diegm.uniud.it

Andrea Schaerf

claim paper

Read More »

118

click to vote

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

15 years 4 months ago

Download www.cparity.com

María Alpuente, Moreno Falaschi, Germ&aacut...

claim paper

Read More »

103

click to vote

TOPLAS
1998

113views more TOPLAS 1998»

An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs

15 years 4 months ago

Download www.cparity.com

Konstantinos F. Sagonas, Terrance Swift

claim paper

Read More »

106

click to vote

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

15 years 4 months ago

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

101

Voted

LOGCOM
2010

80views more LOGCOM 2010»

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers