Abstract is missing.
- XPath LeashedChristoph Koch. [doi]
- Streaming XML Transformation Using Term RewritingAlain Frisch, Keisuke Nakano. 2-13 [doi]
- How to Recognise Different Kinds of Tree Patterns From Quite a Long Way AwayJan Hidders, Philippe Michiels, Jérôme Siméon, Roel Vercammen. 14-24 [doi]
- Lux: A Lightweight, Statically Typed XML Update LanguageJames Cheney. 25-36 [doi]
- A Theory of Contracts for Web ServicesGiuseppe Castagna, Nils Gesbert, Luca Padovani. 37-48 [doi]
- XML Transformation Language Based on Monadic Second Order LogicKazuhiro Inaba, Haruo Hosoya. 49-60 [doi]
- XPath Typing Using a Modal Logic with Converse for Finite TreesPierre Genevès, Nabil Layaïda, Alan Schmitt. 61-72 [doi]
- Deciding Equivalence of Top-Down XML Transformations in Polynomial TimeSebastian Maneth, Helmut Seidl. 73-79 [doi]
- A Logic Your Typechecker Can Count On: Unordered Tree Types in PracticeJ. Nathan Foster, Benjamin C. Pierce, Alan Schmitt. 80-90 [doi]
- MTran: An XML Transformation Language Based on Monadic Second Order LogicKazuhiro Inaba, Haruo Hosoya. 91-92 [doi]
- XCentric: A Logic-Programming Language for XML ProcessingJorge Coelho, Mário Florido. 93-94 [doi]
- LINQ to XSDRalf Lämmel. 95-96 [doi]
- GeLaBa (A Framework to Define Classes of XML Documents and to Automatically Derive Specialized Infrastructures)Benoît Pin, Georges-André Silber. 97-98 [doi]