Schwentick, ThomasNeubauer, Johannes2013-05-022013-05-022013-05-02http://hdl.handle.net/2003/30290http://dx.doi.org/10.17877/DE290R-10573deBaumsprachenBaumtransformationTree transducerTypecheckingXML004Komplexität des typechecking-Problems für Top-down XML-TransformationenText