空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム
空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム
复制标题
具有空栈接受公式的确定性有限单计数器转换器多项式时间等价判定算法
DOI:
--
复制
发表时间:
2010
期刊:
影响因子:
--
通讯作者:
西野哲朗
中科院分区:
文献类型:
--
作者:
若月光夫;清野和司;富田悦次;西野哲朗