Search Sciweavers | Sciweavers

8766 search results - page 313 / 1754

» Functional logic programming

click to vote

INFORMS
2002

40views more INFORMS 2002»

Logic, Optimization, and Constraint Programming

15 years 6 months ago

Download wpweb2.tepper.cmu.edu

John N. Hooker

claim paper

Read More »

166

click to vote

CONSTRAINTS
1999

111views more CONSTRAINTS 1999»

Scheduling Sport Tournaments using Constraint Logic Programming

15 years 6 months ago

Download www.diegm.uniud.it

Andrea Schaerf

claim paper

Read More »

139

Voted

TOPLAS
1998

113views more TOPLAS 1998»

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

15 years 6 months ago

Download www.cparity.com

Konstantinos F. Sagonas, Terrance Swift

claim paper

Read More »

143

Voted

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

15 years 6 months ago

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

126

click to vote

LOGCOM
2010

80views more LOGCOM 2010»

Differential-algebraic Dynamic Logic for Differential-algebraic Programs

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers