Sciweavers

92
Voted
PODS
2005
ACM
99views Database» more  PODS 2005»
15 years 10 months ago
XML type checking with macro tree transducers
MSO logic on unranked trees has been identified as a convenient theoretical framework for reasoning about expressiveness and implementations of practical XML query languages. As a...
Sebastian Maneth, Alexandru Berlea, Thomas Perst, ...