Search Sciweavers | Sciweavers

1131 search results - page 46 / 227

» Logic Programming, Functional Programming, and Inductive Def...

click to vote

FLOPS
2001
Springer

89views Automated Reasoning» more FLOPS 2001»

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs

14 years 28 days ago

Download www.ual.es

Jesús Manuel Almendros-Jiménez, Anto...

claim paper

Read More »

click to vote

LPAR
2001
Springer

95views Automated Reasoning» more LPAR 2001»

Functional Logic Programming with Failure: A Set-Oriented View

14 years 27 days ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Jaime S&aac...

claim paper

Read More »

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

14 years 22 days ago

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

click to vote

PEPM
1997
ACM

95views Software Engineering» more PEPM 1997»

Specialization of Lazy Functional Logic Programs

14 years 3 hour ago

Download users.dsic.upv.es

María Alpuente, Moreno Falaschi, Pascual Ju...

claim paper

Read More »

click to vote

SLP
1994

88views more SLP 1994»

Abstract Interpretation and Partial Evaluation in Functional and Logic Programming

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers