Sciweavers

CCL
1999
Springer
13 years 9 months ago
Functional and Constraint Logic Programming
Mario Rodríguez-Artalejo
CCL
1999
Springer
13 years 9 months ago
Constraint Solving on Terms
Hubert Comon, Claude Kirchner