You have Guest access.
Log In
Volume 1 / 1971 - Volume 49 / 2012
371-393
Original article
On the tree-transformation power of XSLT
Wim Janssen, Alexandr Korlyukov and Jan Van den Bussche
395-417
Representation and uniformization of algebraic transductions
Stavros Konstantinidis, Nicolae Santean and Sheng Yu
419-429
Original Article
A new bound for the D0L sequence equivalence problem
Juha Honkala
431-447
Verification conditions are code
Andrew M. Gravell
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info