A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers
A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers
复制标题
一种用于检查实时严格确定性受限单计数器传感器等价性的多项式时间算法
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Wakatsuki
中科院分区：
文献类型：
--
作者：
Kazushi;Seino;Etsuji;Tomita;Mitsuo;Wakatsuki
