Search Sciweavers | Sciweavers

3572 search results - page 204 / 715

» Nominal Logic Programming

Voted

CORR
1998
Springer

69views Education» more CORR 1998»

Scoping Constructs in Logic Programming: Implementation Problems and their Solution

15 years 3 months ago

Download folli.loria.fr

Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon

claim paper

Read More »

click to vote

AMAI
1999
Springer

92views Artificial Intelligence» more AMAI 1999»

Nested Expressions in Logic Programs

15 years 3 months ago

Download www.d.umn.edu

Vladimir Lifschitz, Lappoon R. Tang, Hudson Turner

claim paper

Read More »

105

click to vote

CSUR
1998

73views more CSUR 1998»

A Unifying View of Functional and Logic Program Specialization

15 years 3 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

101

Voted

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 »

Voted

INFORMS
2002

40views more INFORMS 2002»

Logic, Optimization, and Constraint Programming

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers