![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Thomas Perst Sebastian Maneth , Thomas Perst, Helmut Seidl : Exact XML Type Checking in Polynomial Time. Universität Trier, Mathematik/Informatik, Forschungsbericht 06-04: (2006) Sebastian Maneth , Alexandru Berlea , Thomas Perst, Helmut Seidl : XML type checking with macro tree transducers. PODS 2005 : 283-294 Thomas Perst, Helmut Seidl : Macro forest transducers. Inf. Process. Lett. 89 (3): 141-149 (2004) Thomas Perst, Helmut Seidl : A Type-safe Macro System for XML. Extreme Markup Languages® 2002 1 [ 3 ] 2 [ 3 ] [ 4 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] ![]() ©2006 Association for Computing Machinery |