中国科学院数学与系统科学研究院期刊网
Z-自动机与分划逻辑
别荣芳;沈恩绍
Z Automata and Partition Logics
Rong Fang BIE,En Shao SHEN
数学学报 . 1998, (1):  .  DOI: 10.12386/A1998sxxb0022