维克托·德·卡里亚（Victor P.DeCaria）。;科里·D·哈克。;Laiu，Ming Tse P。 半导体模型的新型隐式求解器分析。 （英语） Zbl 1471.65121号 SIAM J.科学。计算。 43，第3号，B733-B758（2021）. 审核人：阿卜杜拉·布雷吉（安娜巴） MSC公司：65平方米 65个M12 65M55型 81年第35季度 83年第35季度 35第20季度 60年第35季度 PDF格式BibTeX公司 XML格式引用 \textit{V.P.DeCaria}等人，SIAM J.Sci。计算。43，3号，B733-B758（2021；兹bl 1471.65121） 全文： 内政部 arXiv公司
安德烈乌斯·乔伊吉亚斯 小域中的自适应复合估计。 （英语） Zbl 07216294号 非线性分析。，模型。控制 第341-357号，第25页（2020年）.MSC公司：65立方厘米 6200万 62Dxx号 91Bxx号 PDF格式BibTeX公司 XML格式引用 \textit{A.采自}，非线性分析。，模型。控制25，编号3，341--357（2020；Zbl 07216294） 全文： 内政部 OA许可证
莫格尔贝里，拉斯穆斯·埃杰勒斯;马尔科·帕维奥蒂 综合保护域理论中递归类型的表示语义。 （英语） Zbl 1401.68047号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。317-326 (2016).MSC公司：68号30 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Mögelberg}和\textit{M.Paviotti}，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。317-326（2016年；兹比尔1401.68047） 全文： 内政部 arXiv公司 链接
马尔科·帕维奥蒂;莫格尔贝里，拉斯穆斯·埃杰勒斯;拉尔斯·比克达尔 保护型理论中的PCF模型。 （英语） Zbl 1351.68063号 Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，333-349，仅电子版（2015）。MSC公司：68甲18 03B15号机组 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Paviotti}等人，《电子》。注释Theor。计算。科学。319333-349（2015；Zbl 1351.68063） 全文： 内政部
蒂基瓦尔，G.C。;雷，皮尤什·坎特;阿尔卡·吉亚 关于小区域广义回归估计的性能。 （英语） Zbl 1347.62028号 Commun公司。统计、仿真计算。 42，第4期，891-909（2013）.MSC公司：62D05型 PDF格式BibTeX公司 XML格式引用 \textit{G.C.Tikkiwal}等人，Commun。统计、仿真计算。42，第4号，891--909（2013；Zbl 1347.62028） 全文： 内政部
拉尔斯·比克达尔;莫格尔贝里，拉斯穆斯·埃杰勒斯;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯特夫林 合成保护域理论的第一步：树拓扑中的步骤索引。 （英语） Zbl 1269.03035号 日志。方法计算。科学。 8，第4号，第1号文件，第45页（2012年）.MSC公司：03B70号 03克30 18对25 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人，日志。方法计算。科学。8，第4号，第1号论文，45页（2012；Zbl 1269.03035） 全文： 内政部 arXiv公司
罗伊斯，伯恩哈德;托马斯·斯特里彻 序列域的综合理论。 （英语） Zbl 1243.68207号 Ann.纯粹应用。逻辑 163，第8号，1062-1074（2012）.MSC公司：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Reus}和\textit{T.Streicher}，Ann.Pure Appl。逻辑163，No.8，1062--1074（2012；Zbl 1243.68207） 全文： 内政部
黄丽萍 极性上PID上自对偶平面的几何结构。 （英语） Zbl 1202.51003号 高级Geom。 10，第4期，683-697（2010）. 审核人：Hans-Peter Schröcker（因斯布鲁克） MSC公司：51A05号 51A10号 51立方米5 2016年40月 06C05号机组 PDF格式BibTeX公司 XML格式引用 \textit｛L.-P.Huang｝，高级地理学家。10，第4号，683--697（2010；Zbl 1202.51003） 全文： 内政部
黄丽萍 Bezout域上Grassmann空间之间的保直径双射。 （英语） Zbl 1196.51002号 地理。迪迪卡塔 138, 1-12 (2009).MSC公司：51A10号 06C05号机组 14月15日 51K05美元 51立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.-P.黄}，Geom。Dedicata 138，1--12（2009；Zbl 1196.51002） 全文： 内政部
雅普·范·奥斯汀 可实现性。介绍其明确的一面。 （英语） Zbl 1225.03002号 逻辑与数学基础研究152.阿姆斯特丹：爱思唯尔（ISBN 978-0-444-51584-1/hbk）。十六、310页。(2008). 审核人：科林·麦克拉蒂（MR2479466） MSC公司：03-02 03D20日 第03页第55页 03层60 65楼03号 03G30型 18年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}，可实现性。介绍其明确的一面。阿姆斯特丹：爱思唯尔（2008；Zbl 1225.03002）
麦地那，L。;E.莫雷诺。 使用二维包络波束形成技术的超声成像系统：非均匀性定位。 （英语） Zbl 1134.76459号 J.计算。橡子。 12，第4期，571-585（2004）.MSC公司：2005年第76季度 78A55型 PDF格式BibTeX公司 XML格式引用 \textit{L.Medina}和\textit{E.Moreno}，J.Compute。阿库斯特。12，第4号，571--585（2004；Zbl 1134.76459） 全文： 内政部
保罗·泰勒 抽象斯通二元性的几何和高阶逻辑。 （英语） Zbl 0969.18004号 理论应用。类别。 7, 284-338 (2000).MSC公司：18B35型 35楼03号 18甲15 18个C20 54立方厘米 54D10号 18个B05 54A05型 54天30分 54D45号 2012年2月6日 2015年6月 03B15号机组 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Taylor}，理论应用。类别。7、284--338（2000；Zbl 0969.18004） 全文： 欧洲DML EMIS公司
雅普·范·奥斯汀;亚历克斯·K·辛普森。 合成域理论中的公理和（反例）示例。 （英语） Zbl 0961.18006号 Ann.纯粹应用。逻辑 104，编号1-3，233-278（2000）. 审核人：彼得·约翰斯通（剑桥） MSC公司：18 C50 68问题55 03G30型 18对25 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}和\textit{A.K.Simpson}，Ann.Pure Appl。逻辑104，No.1--3，233--278（2000；Zbl 0961.18006） 全文： 内政部
布雷特·博登 分数傅里叶变换和ISAR成像。 （英语） Zbl 1036.94500 反向探测。 16，编号2，L5-L8（2000）.MSC公司：94A08型 94甲12 42A38型 PDF格式BibTeX公司 XML格式引用 \textit{B.Borden}，反向Probl。16、2号、L5--L8（2000；Zbl 1036.94500） 全文： 内政部
阿兰·泰伯格 调查抽样中校准估计器的扩展。 （英语） Zbl 0997.62009号 美国统计协会。 94，第446、635-644号（1999年）.MSC公司：62D05型 PDF格式BibTeX公司 XML格式引用 \textit{A.Théberge}，J.Am.Stat.Assoc.94，No.446，635--644（1999；Zbl 0997.62009） 全文： 内政部
罗伊斯，伯恩哈德 将合成域理论形式化。基本定义。 （英语） Zbl 0943.68111号 J.自动化。推理 23，第3-4号，411-444（1999）.MSC公司：68问题55 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Reuse}，J.Autom。推理23，No.3--4，411--444（1999；Zbl 0943.68111） 全文： 内政部
托马斯·斯特里彻 充满的归纳结构。 （英语） Zbl 0933.03032号 申请。类别。结构。 7，第1-2期，185-207（1999）.MSC公司：03B70号 68问题55 03G30型 60年第68季度 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher}，应用。类别。结构。7，编号1--2，185-207（1999；Zbl 0933.03032） 全文： 内政部
罗伊斯，伯恩哈德 类型理论中的可拓空间。 （英语） Zbl 0933.03030号 申请。类别。结构。 7，第1-2号，159-183（1999）.MSC公司：03B70号 68问题55 03楼50 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{B.重用}，应用。类别。结构。7，编号1--2159-183（1999；Zbl 0933.03030） 全文： 内政部
亚历克斯·K·辛普森。 基本拓扑的计算充分性。 （英语） Zbl 0933.03031号 Gottlob，Georg（编辑）等人，《计算机科学逻辑》。1998年8月24日至28日在捷克共和国布尔诺举行的第十二届国际研讨会，1998年CSL，EACSL年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1584323-342（1999年）。MSC公司：03B70号 68问题55 03G30型 18对25 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Simpson}，莱克特。注释计算。科学。1584323-342（1999；Zbl 0933.03031）
罗伊斯，伯恩哈德;托马斯·斯特里彻 一般综合领域理论——一种逻辑方法。 （英语） Zbl 1018.03051号 数学。结构。计算。科学。 9，第2期，177-223（1999）.MSC公司：03G30型 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.重用}和\textit{T.Streicher}，数学。结构。计算。科学。9，第2号，177--223（1999；Zbl 1018.03051） 全文： 内政部
再利用，B。;斯特里彻，Th。 一般综合领域理论——一种逻辑方法。（扩展摘要）。 （英语） 兹比尔0881.18002 Moggi，Eugenio（编辑）等人，《范畴理论与计算机科学》。1997年9月4日至6日，第七届国际会议，CTCS’97，意大利圣玛格丽塔利古尔。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1290, 293-313 (1997).MSC公司：18对25 03克30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Reuse}和\textit{Th.Streicher}，Lect。注释计算。科学。1290，293--313（1997；Zbl 0881.18002）
菲奥雷，马塞洛·P。;戈登·普洛金（Gordon D.Plotkin）。 公理领域理论模型到综合领域理论模型的扩展。 （英语） Zbl 0884.18009号 Dalen，Dirk van（编辑）等人，《计算机科学逻辑》。第十届国际研讨会，CSL’96。EACSL年会，荷兰乌得勒支。1996年9月21日至27日。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1258, 129-149 (1997). 审核人：C.Calude（奥克兰） MSC公司：18日第15天 68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}和\textit{G.D.Plotkin}，莱克特。注释计算。科学。1258129-149（1997年；Zbl 0884.18009）
马穆卡·吉卜拉泽 初始lift-代数的表示。 （英语） Zbl 0879.18006号 J.纯应用。代数 116，编号1-3，185-198（1997）. 审核人：S.V.Solov'ev（达勒姆） MSC公司：18对25 03G30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Jibladze}，J.Pure应用。代数116，第1-3185-198号（1997年；Zbl 0879.18006） 全文： 内政部
马塞洛·菲奥雷（Marcelo P.Fiore）。;朱塞佩·罗索里尼 综合领域理论的两个模型。 （英语） Zbl 0879.18007号 J.纯应用。代数 116，编号1-3151-162（1997）. 审核人：P.Bankston（密尔沃基） MSC公司：18对25 03G30型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Fiore}和\textit{G.Rosolini}，J.Pure Appl。代数116，No.1--3，151--162（1997；Zbl 0879.18007） 全文： 内政部
托马斯·斯特里彻 充满的归纳结构。 （英语） Zbl 0938.18005号 Adámek，J.（编辑）等人，《研讨会领域II》，德国布伦瑞克，1996年5月3日至5日。布伦瑞克：TU Braunschweig，Inf.-Ber。，布伦瑞克理工大学。96-04, 195-216 (1996).MSC公司：18 C50 68问题55 68甲18 03G30型 18A40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Streicher}，in：研讨会域II，布伦瑞克，德国，1996年5月3-5日。布伦瑞克：TU Braunschweig。195-216（1996年；Zbl 0938.18005）
罗伊斯，伯恩哈德 公理化（完整）扩展PER。 （英语） Zbl 0938.18004号 Adámek，J.（编辑）等人，《研讨会领域II》，德国布伦瑞克，1996年5月3日至5日。布伦瑞克：TU Braunschweig，Inf.-Ber。，布伦瑞克理工大学。96-04175-194（1996年）。MSC公司：18 C50 68问题55 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{B.Reus}，in：车间域II，布伦瑞克，德国，1996年5月3-5日。布伦瑞克：TU Braunschweig。175-194（1996年；Zbl 0938.18004）
罗伊斯，伯恩哈德 综合领域理论中的程序验证。 （英语） Zbl 0869.68037号 慕尼黑：法国慕尼黑大学。f.数学。xii，293页（1995年）。MSC公司：68N99型 68-02 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Reus}，综合领域理论中的程序验证。慕尼黑：法国慕尼黑大学。f.数学。（1995年；兹bl 0869.68037）
卡尔·埃里克·萨恩达尔;本特·斯文森;詹·雷特曼 模型辅助调查抽样。 （英语） 兹比尔07426/2008 统计学中的斯普林格系列纽约等地：Springer-Verlag。xv，694页（1992年）。 审核人：T.J.Rao（圣巴巴拉） MSC公司：62D05型 62-01 62-02 PDF格式BibTeX公司 XML格式引用 \textit{C.-E.Särndal}等人，模型辅助调查抽样。纽约等：Springer-Verlag（1992；Zbl 0742.62008）
卫斯理·菲亚 从图模型构建域。 （英语） Zbl 0792.03008号 数学。结构。计算。科学。 2，第3期，277-299（1992）.MSC公司：03B40型 03G30型 18对25 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Phoa}，数学。结构。计算。科学。2，第3号，277--299（1992；Zbl 0792.03008） 全文： 内政部
海兰德，J.M.E。 合成域理论的第一步。 （英语） Zbl 0747.18004号 范畴理论，Proc。国际会议，科莫/意大利，1990年，勒克特。数学笔记。1488, 131-156 (1991). 审核人：K.I.Rosenthal（斯克内克塔迪） MSC公司：18对25 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.M.E.Hyland}，莱克特。数学笔记。无，131-156（1991；Zbl 0747.18004）
卡尔·埃里克·萨恩达尔;Michael A.Hidiroglou。 小范围估计：条件分析。 （英语） Zbl 0748.62008号 美国统计协会。 84，编号405266-275（1989）.MSC公司：62D05型 PDF格式BibTeX公司 XML格式引用 \textit{C.-E.Särndal}和textit{M.A.Hidiroglou}，J.Am.Stat.Assoc.84，No.405，266--275（1989；Zbl 0748.62008） 全文： 内政部
卡尔·E·Särndal。 Inférence statistique et analysis des données sous des plans d’échantillonage复合体的信息统计与分析。 （法语） Zbl 0574.62009年 高等数学学校。Séminaire Scientifique OTAN（北约高级研究所）, 88. 蒙特勒大学数学与统计系。蒙特利尔：蒙特利尔大学出版社。第123页，17.00美元（1984年）。 审核人：T.J.饶 MSC公司：62D05型 62-02 PDF格式BibTeX公司 XML格式