Period of time： 2007年6期
Publisher： Springer Publishing Company
Founded in： 1971
Total resources： 23
ISSN： 0001-5903
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Acta Informatica,volume 43,issue 6
Menu
On the tree-transformation power of XSLT
By Janssen Wim,Korlyukov Alexandr,Bussche Jan in (2007)
Acta Informatica,volume 43,issue 6 , Vol. 43, Iss. 6, 2007-01 , pp.
Access to resources
Recommend
Representation and uniformization of algebraic transductions
By Konstantinidis Stavros,Santean Nicolae,Yu Sheng in (2007)
Acta Informatica,volume 43,issue 6 , Vol. 43, Iss. 6, 2007-01 , pp.A new bound for the D0L sequence equivalence problem
Acta Informatica,volume 43,issue 6 , Vol. 43, Iss. 6, 2007-01 , pp.Verification conditions are code
Acta Informatica,volume 43,issue 6 , Vol. 43, Iss. 6, 2007-01 , pp.