Search Sciweavers | Sciweavers

2076 search results - page 33 / 416

» Functional logic overloading

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 1 months ago

Download www.ual.es

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

claim paper

Read More »

click to vote

ICLP
2001
Springer

111views Automated Reasoning» more ICLP 2001»

A Computational Model for Functional Logic Deductive Databases

14 years 1 months 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 1 months ago

Download gpd.sip.ucm.es

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

claim paper

Read More »

click to vote

ASPDAC
1999
ACM

77views Hardware» more ASPDAC 1999»

Realization of Regular Ternary Logic Functions

14 years 1 months ago

Download www.lsi-cad.com

Yukihiro Iguchi, Munehiro Matsuura, Tsutomu Sasao,...

claim paper

Read More »

click to vote

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

14 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers