Search Sciweavers | Sciweavers

3481 search results - page 223 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

159

click to vote

CORR
2007
Springer

117views Education» more CORR 2007»

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

15 years 6 months ago

Download www.clip.dia.fi.upm.es

Edison Mera, Pedro López-García, Ger...

claim paper

Read More »

click to vote

CORR
2007
Springer

85views Education» more CORR 2007»

Querying XML Documents in Logic Programming

15 years 6 months ago

Download indalog.ual.es

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

claim paper

Read More »

120

click to vote

CORR
2007
Springer

107views Education» more CORR 2007»

Automatic Coding Rule Conformance Checking Using Logic Programs

15 years 6 months ago

Download www.ggcc.info

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

claim paper

Read More »

137

click to vote

JANCL
2006

45views more JANCL 2006»

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

15 years 6 months ago

Download users.ics.tkk.fi

Tomi Janhunen

claim paper

Read More »

128

click to vote

ENTCS
2007

72views more ENTCS 2007»

Equivalence of Two Formal Semantics for Functional Logic Programs

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers