Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, I
Transformation of Structure-Shy Programs with Application to XPath Queries and Strategic Functions, I
No Thumbnail Available
Date
2011
Authors
Alcino Cunha
Joost Visser