克莱尔·迪克森;亚历山大·博洛托夫;迈克尔·费希尔 交替自动机和时序逻辑范式。 (英语) 兹比尔1087.03013 Ann.纯粹应用。逻辑 135,编号1-3,263-285(2005).MSC公司:03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,Ann.Pure Appl。逻辑135,No.1--3,263--285(2005;Zbl 1087.03013) 全文: 内政部
本诺·范登伯格 归纳类型和准确完成。 (英语) Zbl 1064.03041号 Ann.纯粹应用。逻辑 134,编号2-3,95-121(2005).MSC公司:03G30型 第03页第35页 03楼50 18 C50 18对25 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg},Ann.《纯粹的应用》。逻辑134,No.2--3,95-121(2005;Zbl 1064.03041) 全文: 内政部
迪特里赫·库斯克;马库斯·洛伊 凯莱图的逻辑方面:群体案例。 (英语) Zbl 1063.03005号 Ann.纯粹应用。逻辑 131,编号1-3,263-286(2005). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 05时25分 2010年1月20日 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{M.Lohrey},Ann.Pure Appl。逻辑131,编号1-3263-286(2005;Zbl 1063.03005) 全文: 内政部