迈克尔·本尼迪克特;凯斯勒,H.杰罗姆 对一个半线性集合用一个谓词是不能定义的。 (英语) Zbl 1045.03032号 J.塞姆。日志。 68,第1期,319-351(2003). 审核人:雅罗斯拉夫·波科恩(普拉哈) MSC公司:03B70号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}和\textit{H.J.Keisler},J.Symb。日志。68,第1号,319--351(2003;Zbl 1045.03032) 全文: 内政部
迈克尔·本尼迪克特;马丁·格罗;利奥尼德·利金;卢克·塞古芬 约束数据库中的可达性和连接性查询。 (英语) Zbl 1026.68036号 J.计算。系统。科学。 66,第169-206号(2003年).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,《计算杂志》。系统。科学。66,第1号,169--206(2003;Zbl 1026.68036) 全文: 内政部
迈克尔·本尼迪克特;利奥尼德·利金 约束查询语言中的聚合运算符。 (英语) Zbl 1052.68024号 J.计算。系统。科学。 64,第3期,628-654(2002).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}和\textit{L.Libkin},J.Compute。系统。科学。64,第3号,628--654(2002;Zbl 1052.68024) 全文: 内政部
约翰·鲍德温;迈克尔·本尼迪克特 稳定性理论、不可分辨排列和嵌入式有限模型。 (英语) 兹伯利0960.03027 事务处理。美国数学。Soc公司。 352,第11号,4937-4969(2000). 审核人:J.Flum(弗莱堡) MSC公司:03C45号机组 03C13号机组 第68页,共15页 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{J.Baldwin}和\textit{M.Benedikt},翻译。美国数学。Soc.352,No.11,4937--4969(2000;Zbl 0960.03027) 全文: 内政部
迈克尔·本尼迪克特;蒂莫西·格里芬;利奥尼德·利金 数据库事务的可验证属性。 (英语) Zbl 0927.68032号 Inf.计算。 147,第1号,57-88(1998).MSC公司:第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Benedikt}等人,《信息计算》。147,编号1,57--88(1998;Zbl 0927.68032) 全文: 内政部