Author： Pretorius Laurette
Publisher： Springer Publishing Company
ISSN： 0922-6567
Source： Machine Translation, Vol.18, Iss.3, 2003-09, pp. : 195-216
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
By BASU SUMITA
Cybernetics and Systems, Vol. 36, Iss. 2, 2005-03 ,pp. :
Access to resources
Recommend
By Dai J.J. Lathrop J.I. Lutz J.H. Mayordomo E.
Theoretical Computer Science, Vol. 310, Iss. 1, 2004-01 ,pp. :
Deciding sequentiability of finite-state transducers by finite-state pattern-matching
By Gaal T.
Theoretical Computer Science, Vol. 313, Iss. 1, 2004-02 ,pp. :
Hardness of equivalence checking for composed finite-state systems
By Sawa Zdeněk
Acta Informatica, Vol. 46, Iss. 3, 2009-05 ,pp. :
Finite-state analysis of two contract signing protocols
By Shmatikov
Theoretical Computer Science, Vol. 283, Iss. 2, 2002-06 ,pp. :