Sciweavers

11066 search results - page 175 / 2214
» Linearity in Process Languages
Sort
View
APLAS
2006
ACM
14 years 2 months ago
Type Processing by Constraint Reasoning
Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny