Sciweavers

8446 search results - page 176 / 1690
» A Process Compensation Language
Sort
View
APLAS
2006
ACM
16 years 28 days ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny