Sciweavers

3572 search results - page 200 / 715

» Nominal Logic Programming

145

Voted

ENTCS
2007

106views more ENTCS 2007»

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

15 years 7 months ago

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

Download www.fdi.ucm.es

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

claim paper

Read More »

135

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 7 months ago

Equivalence of Two Formal Semantics for Functional Logic Programs

Download gpd.sip.ucm.es

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

claim paper

Read More »

146

Voted

ML
2008
ACM

102views Machine Learning» more ML 2008»

Inductive logic programming for gene regulation prediction

15 years 7 months ago

Inductive logic programming for gene regulation prediction

Download wwwkramer.in.tum.de

Sebastian Fröhler, Stefan Kramer

claim paper

Read More »

146

MSCS
2006

80views more MSCS 2006»

Denotational semantics for a program logic of objects

15 years 7 months ago

Denotational semantics for a program logic of objects

Download www.cogs.susx.ac.uk

Bernhard Reus, Jan Schwinghammer

claim paper

Read More »

143

NGC
2006
Springer

82views Communications» more NGC 2006»

Database Query Languages and Functional Logic Programming

15 years 7 months ago

Database Query Languages and Functional Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

« Prev « First page 200 / 715 Last » Next »