Sciweavers

3973 search results - page 196 / 795

» Records for Logic Programming

70

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

15 years 4 months ago

Querying XML Documents in Logic Programming

Download indalog.ual.es

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

claim paper

Read More »

90

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 4 months ago

Automatic Coding Rule Conformance Checking Using Logic Programs

Download www.ggcc.info

Guillem Marpons-Ucero, Julio Mariño, &Aacut...

claim paper

Read More »

111

JANCL
2006

45views more JANCL 2006»

Some (in)translatability results for normal logic programs and propositional theories

15 years 4 months ago

Some (in)translatability results for normal logic programs and propositional theories

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

105

ENTCS
2007

106views more ENTCS 2007»

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

15 years 4 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 »

101

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 4 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 »

« Prev « First page 196 / 795 Last » Next »