Sciweavers

49

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

14 years 3 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

37

CCL
1999
Springer

226views Automated Reasoning» more CCL 1999»

Constraint Solving on Terms

14 years 3 months ago

Constraint Solving on Terms

Download www.mpi-inf.mpg.de

Hubert Comon, Claude Kirchner

claim paper

Read More »