Biblio

Export 9 results:
Author Title Type [ Year(Asc)]
Filters: Author is Carlo Sartiani  [Clear All Filters]
2010
D. Colazzo and Sartiani, C., Precision and Complexity of XQuery Type Inference, in 12th Italian Conference on Theoretical Computer Science (ICTCS), 2010.
2008
D. Colazzo, Ghelli, G., and Sartiani, C., Efficient Inclusion for a Class of XML Types with Interleaving and Counting, Information Systems, vol. 34, pp. 643-656, 2008.
G. Ghelli, Colazzo, D., and Sartiani, C., Linear Time Membership for a Class of XML Types with Interleaving and Counting, in PLAN-X, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL, 2008.