Search Sciweavers | Sciweavers

3481 search results - page 228 / 697

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

112

click to vote

APAL
1999

55views more APAL 1999»

Logic Programs, Well-Orderings, and Forward Chaining

15 years 3 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

112

Voted

TOPLAS
1998

41views more TOPLAS 1998»

Partial Evaluation of Functional Logic Programs

15 years 3 months ago

Download www.cparity.com

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

claim paper

Read More »

100

click to vote

TOPLAS
1998

113views more TOPLAS 1998»

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

15 years 3 months ago

Download www.cparity.com

Konstantinos F. Sagonas, Terrance Swift

claim paper

Read More »

102

click to vote

TCS
2002

81views Theoretical Computer Science» more TCS 2002»

Fixpoint semantics for logic programming a survey

15 years 3 months ago

Download ii.fmph.uniba.sk

Melvin Fitting

claim paper

Read More »

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