Sciweavers

251

Voted

CCL
1999
Springer

250views Automated Reasoning» more CCL 1999»

Functional and Constraint Logic Programming

16 years 3 days ago

Functional and Constraint Logic Programming

Download users.dsic.upv.es

Mario Rodríguez-Artalejo

claim paper

Read More »

150

Voted

CCL
1999
Springer

226views Automated Reasoning» more CCL 1999»

Constraint Solving on Terms

16 years 3 days ago

Constraint Solving on Terms

Download www.mpi-inf.mpg.de

Hubert Comon, Claude Kirchner

claim paper

Read More »