安德烈亚斯·布拉斯;纳鸿·德肖维茨;尤里·古里维奇 两种算法何时相同? (英语) Zbl 1192.03021号 牛市。符号。日志。 15,第2期,145-168(2009). 审核人:Heribert Vollmer(汉诺威) MSC公司:03D99号 第68季度01 68周01 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}等人,公牛。符号。日志。15,第2号,145--168(2009;Zbl 1192.03021) 全文: DOI程序 arXiv公司 反向链接: 卫生官员
安德烈亚斯·布拉斯(编辑) 2003年6月1日至4日,伊利诺伊州芝加哥伊利诺伊大学符号逻辑协会年会。 (英语) Zbl 1059.03503号 牛市。符号。日志。 10,第1期,第120-145页(2004年).MSC公司:03-06 00亿05 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}(编辑),公牛。符号。日志。10,第1号,120--145(2004;Zbl 1059.03503) 全文: DOI程序
安德烈亚斯·布拉斯(编辑) 1994-1995年符号逻辑协会冬季会议。1995年1月6日至7日,加利福尼亚州旧金山。 (英语) 兹比尔0850.03005 牛市。符号。日志。 第1期,第3期,359-376(1995).MSC公司:03-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Blass}(编辑),公牛。符号。日志。1,第3号,359--376(1995;Zbl 0850.03005) 全文: DOI程序 链接