Sciweavers

9 search results - page 1 / 2
» planx 2007
Sort
View
PLANX
2007
13 years 8 months ago
XPath Leashed
Christoph Koch
PLANX
2007
13 years 8 months ago
LINQ to XSD
Ralf Lämmel
PLANX
2007
13 years 8 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 8 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