Constraint Abstractions
Paper in proceeding, 2001
Author
Jörgen Gustavsson
Functional Programming
Josef Svenningsson
Functional Programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. LNCS 2053 63-83Subject Categories
Computer Science
DOI
10.1007/3-540-44978-7_5