Sciweavers

9 search results - page 1 / 2
» planx 2007
Sort
View
PLANX
2007
13 years 10 months ago
XPath Leashed
Christoph Koch
PLANX
2007
13 years 10 months ago
LINQ to XSD
Ralf Lämmel
PLANX
2007
13 years 10 months ago
A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice
J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt
PLANX
2007
13 years 10 months ago
Deciding Equivalence of Top-Down XML Transformations in Polynomial Time
Many useful XML transformations can be formulated through deterministic top-down tree transducers. A canonical form for such transducers is presented which allows to decide equiva...
Sebastian Maneth, Helmut Seidl