多米尼克·拉切·温德林（Dominique Larchey-Wendling）;迪迪埃·加米歇 非确定性阶段语义和布尔BI的不确定性。 （英文） Zbl 1343.03022号 ACM事务处理。计算。日志。 第14号第1条第6条第41页（2013年）. 引用于1审查引用于17文件 MSC公司： 03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 03B25号 理论和句子集的可决定性 03B70号 计算机科学中的逻辑 05年3月 与逻辑问题相关的自动机和形式文法 关键词：布尔BI;线性逻辑;明斯基机器编码;可判定性 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche}，ACM翻译。计算。日志。14，第1号，第6条，41页（2013；Zbl 1343.03022） 全文： 内政部 哈尔