塞尔库克·卡恩·塔巴奇 对澳大利亚计划的次极小否定。 （英语） Zbl 07595245号 J.菲洛斯。日志。 51，第5期，1119-1139（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Tabakci}，J.Philos。日志。51，编号5，1119--1139（2022；Zbl 07595245） 全文： 内政部
弗朗西斯科·贝尔托;格雷格·雷斯塔尔 否定澳大利亚的计划。 （英语） Zbl 1457.03007号 J.菲洛斯。日志。 48，第6期，1119-1144（2019）.MSC公司：03年05月 03B45号 03B50号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{F.Berto}和\textit{G.Restall}，J.Philos。日志。48，第6号，1119--1144（2019；Zbl 1457.03007） 全文： 内政部
乌苏拉州Wybraniec-Skardowska 一阶量词的类别。 （英语） 兹比尔1522.03106 Garrido，Angel（编辑）等人，《利沃夫-瓦沙学校》。过去和现在。查姆：Birkhäuser。通用螺栓。日志。，763-777 (2018).MSC公司：03C07号机组 03年05月 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛U.Wybraniec Skardowska｝，在：华沙利沃夫学校。过去和现在。查姆：Birkhäuser。763--777（2018；Zbl 1522.03106） 全文： 内政部 链接
柳德米拉·奥梅尔·丘克（Lyudmyla L.Omel’chuk）。 元主格数据理论定理证明的自动化系统。 （乌克兰语。英文摘要） 兹比尔1126.68576 视力。，序列号。菲兹-马特·诺基，基辅。进出口大学。塔拉萨·舍甫琴卡 2006年，第2期，231-235（2006）.MSC公司：第68页第15页 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.L.Omel’chuk}，Visn。，序列号。菲兹-马特·诺基，基辅。进出口大学。Tarasa Shevchenka 2006，第2期，231--235（2006；Zbl 1126.68576）
吉迪尼，C。;金奇利亚，F。 局部模型语义或上下文推理=局部性+兼容性。 （英语） Zbl 0969.68141号 Artif公司。智力。 127，第2期，221-259（2001）.MSC公司：68立方英尺 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Ghidini}和\textit{F.Giunchiglia}，阿蒂夫。智力。127，第2号，221--259（2001；Zbl 0969.68141） 全文： 内政部
迪德里克·巴滕斯;Meheus，笑话 兼容性的自适应逻辑。 （英语） Zbl 0963.03041号 螺柱日志。 66，第3期，327-348（2000）.MSC公司：03B53号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens}和\textit{J.Meheus}，Stud.Log。66，第3号，327--348（2000；Zbl 0963.03041） 全文： 内政部
回来了，拉尔夫·约翰;安娜·米哈伊洛娃;约阿金·冯·赖特 类精化作为正确对象可替换性的语义。 （英语） Zbl 0963.68103号 正式Asp。计算。 12，第1期，18-40（2000）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.Back}等人，正式Asp。计算。12，第1号，18--40（2000；Zbl 0963.68103） 全文： 内政部
克劳迪奥·加洛拉 量子物理学的语义不完全性。 （英语） Zbl 0777.03017号 国际J.Theor。物理学。 31，第5期，809-824（1992）. 审核人：R.华莱士花园（泰晤士河） MSC公司：03G12号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Garola}，国际期刊Theor。物理学。31，第5号，809--824（1992；Zbl 0777.03017） 全文： 内政部
Oguztüzün，H。 一阶逻辑片段，足以实现观测等价。 （英语） Zbl 0819.68127号 Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 278-292 (1992). 审核人：N.Curteanu（伊阿什） MSC公司：68立方英尺 68T27型 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Oguztüzün}，莱克特。注释计算。科学。626，278-292（1992年；兹bl 0819.68127）
F.奥雷贾斯。 传递兼容性几乎是持久性的。 （英语） Zbl 0584.68044号 数据类型规范的最新趋势，第三届抽象数据类型理论和应用研讨会，不来梅/德国。1984年，Inf.-Fachber。116, 196-206 (1985). 审核人：V.Calmatuianu公司 MSC公司：68第05页 68号01 PDF格式BibTeX公司 XML格式