Search Sciweavers | Sciweavers

1131 search results - page 47 / 227

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

click to vote

CACM
2010

122views more CACM 2010»

Functional logic programming

15 years 4 months ago

Download www.cs.unb.ca

Sergio Antoy, Michael Hanus

claim paper

Read More »

108

click to vote

ENTCS
2007

106views more ENTCS 2007»

A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming

15 years 4 months ago

Download www.fdi.ucm.es

Sonia Estévez Martín, Antonio J. Fer...

claim paper

Read More »

102

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 4 months ago

Download gpd.sip.ucm.es

Francisco Javier López-Fraguas, Juan Rodr&i...

claim paper

Read More »

108

click to vote

NGC
2006
Springer

82views Communications» more NGC 2006»

Database Query Languages and Functional Logic Programming

15 years 4 months ago

Download indalog.ual.es

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

claim paper

Read More »

115

click to vote

CSUR
1998

73views more CSUR 1998»

A Unifying View of Functional and Logic Program Specialization

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers