Beauquier博士。 一元抽象状态机的可决定属性。 (英语) Zbl 1106.03035号 Ann.纯粹应用。逻辑 141,第3期,308-319(2006). 审核人:Albert A.Mullin(麦迪逊) MSC公司:05年3月 03B25号 60年第68季度 2005年第68季度 68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier},Ann.纯粹应用。逻辑141,No.3,308--319(2006;Zbl 1106.03035) 全文: 内政部
罗伯特·戈德布拉特 最终合并和轩尼诗-米尔纳地产。 (英语) 兹比尔1099.03019 Ann.纯粹应用。逻辑 138,编号1-3,77-93(2006). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03B70号 03B45号 68问题85 18 C50 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},Ann.《纯粹的应用》。逻辑138,编号1--3,77-93(2006;Zbl 1099.03019) 全文: 内政部
A.布卡洛。;罗索里尼,G。 完备性、共单子体和拓扑空间。 (英语) Zbl 1077.03037号 Ann.纯粹应用。逻辑 137,编号1-3,104-125(2006).MSC公司:65楼03号 2012年2月6日 54A05型 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bucalo}和\textit{G.Rosolini},Ann.Pure Appl。逻辑137,编号1--3,104-125(2006;Zbl 1077.03037) 全文: 内政部
罗伯特·戈德布拉特 多项式余代数的观测超积。 (英语) Zbl 1037.03034号 Ann.纯粹应用。逻辑 123,编号1-3235-290(2003). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03C05号机组 03B70号 03C20号 18 C50 68问题65 68问题85 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},Ann.《纯粹的应用》。逻辑123,编号1--3,235-290(2003;Zbl 1037.03034) 全文: 内政部
克里斯蒂安·卡鲁德;埃琳娜·卡鲁德;巴哈迪尔·库萨诺夫 确定性自动机。模拟、通用性和最小化。 (英语) Zbl 0890.68084号 Ann.纯粹应用。逻辑 90,编号1-3263-276(1997).MSC公司:65年第68季度 81-08 PDF格式BibTeX公司 XML格式引用 \textit{C.Calude}等人,Ann.Pure Appl。逻辑90,编号1--3,263--276(1997;Zbl 0890.68084) 全文: 内政部
马克斯·卡诺维奇。 线性逻辑自动机。 (英语) Zbl 0859.68021号 Ann.纯粹应用。逻辑 78,编号1-3,147-188(1996).MSC公司:2005年第68季度 65年第68季度 68问题85 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich},Ann.纯粹的应用。逻辑78,编号1--3147-188(1996;Zbl 0859.68021) 全文: 内政部
马克斯·卡诺维奇。 Petri网、Horn程序、线性逻辑和向量游戏。 (英语) Zbl 0829.03007号 Ann.纯粹应用。逻辑 75,编号1-2,107-135(1995).MSC公司:03B20型 05年3月 2010年第68季度 68问题85 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich},Ann.纯粹的应用。逻辑75,编号1--2,107-135(1995;Zbl 0829.03007) 全文: 内政部