Practical Aspects of Declarative Languages - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540309475, 9783540316855
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Adding Constraint Solving to Mercury

2005 ◽  
pp. 118-133 ◽  
Author(s):  
Ralph Becket ◽  
Maria Garcia de la Banda ◽  
Kim Marriott ◽  
Zoltan Somogyi ◽  
Peter J. Stuckey ◽  
...  
Keyword(s):  
Constraint Solving

scholarly journals Efficient Top-Down Set-Sharing Analysis Using Cliques

2005 ◽  
pp. 183-198 ◽  
Author(s):  
Jorge Navas ◽  
Francisco Bueno ◽  
Manuel Hermenegildo
Keyword(s):  
Top Down ◽  
Set Sharing

scholarly journals Using Dominators for Solving Constrained Path Problems

2005 ◽  
pp. 73-87 ◽  
Author(s):  
Luis Quesada ◽  
Peter Van Roy ◽  
Yves Deville ◽  
Raphaël Collet
Load More ...
Sign in / Sign up

Export Citation Format

Share Document