Din、Crystal Chang;Owe、Olaf 关于具有共享未来的活动对象的组合推理。 (英语) Zbl 1343.68166号 正式Asp。计算。 27,第3期,551-572(2015).MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe},正式Asp。计算。27,第3号,551--572(2015;Zbl 1343.68166) 全文: 内政部
Owe、Olaf 重新考虑部分逻辑:保守的方法。 (英语) Zbl 0785.03013号 正式Asp。计算。 5,第3号,208-223(1993).MSC公司:03B60号 03B50号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe},正式Asp。计算。5,第3号,208--223(1993;Zbl 0785.03013) 全文: 内政部
Owe、Olaf 重新讨论了具有共享变量的过程的公理化处理。 (英语) 兹比尔074868040 正式Asp。计算。 4,第4期,323-340(1992).MSC公司:60年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe},正式Asp。计算。4,编号4,323--340(1992;Zbl 0748.68040) 全文: 内政部
Owe、Olaf;Ole-Johan达尔 有序代数中的生成器归纳法。 (英语) Zbl 0712.68068号 形式方面计算。 3,第1期,2-20(1991年).MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}和\textit{O.-J.Dahl},正式Asp。计算。3,编号1,2--20(1991;Zbl 0712.68068) 全文: 内政部