Sciweavers

146

Voted

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

15 years 5 months ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

80

Voted

CCL
1999
Springer

226views Automated Reasoning» more CCL 1999»

Constraint Solving on Terms

15 years 5 months ago

Constraint Solving on Terms

Download www.mpi-inf.mpg.de

Hubert Comon, Claude Kirchner

claim paper

Read More »