scientific article; zbMATH DE number 2241906
From MaRDI portal
Publication:5714247
zbMath1098.68555MaRDI QIDQ5714247
Publication date: 28 December 2005
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2397/23970001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (8)
XML compression via directed acyclic graphs ⋮ Well-definedness and semantic type-checking for the nested relational calculus ⋮ Automata for XML -- a survey ⋮ Frontiers of tractability for typechecking simple XML transformations ⋮ On the minimization of XML schemas and tree automata for unranked trees ⋮ Distributed XML design ⋮ Typechecking top-down XML transformations: Fixed input or output schemas ⋮ On the complexity of typechecking top-down XML transformations
This page was built for publication: