×

找到52份文件（结果1-52）

最新的 引文 关联
熊，页岩;佩德罗·达罗查·平托;Gian Ntzik;菲利普·加德纳

并发映射的抽象规范。 （英语） Zbl 1485.68078号

Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。102011964-990（2017年）。
理学硕士：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Xiong}等人，Lect。注释计算。科学。10201、964--990（2017；Zbl 1485.68078）
全文： 内政部 链接
杜鹃花拉德;何塞·弗拉戈索·桑托斯;菲利普·加德纳

DOM：规范和客户端推理。 （英语） Zbl 1483.68089号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10017, 401-422 (2016).
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Raad}等人，Lect。注释计算。科学。10017、401-422（2016；Zbl 1483.68089）
全文： 内政部 链接
杜鹃花拉德;阿奎那·霍伯;朱尔斯·维拉德;菲利普·加德纳

正在验证并发图算法。 （英语） Zbl 1483.68203号

Igarashi，Atsushi（编辑），《编程语言和系统》。2016年11月21日至23日，第14届亚洲研讨会，2016年APLAS，越南河内。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。10017, 314-334 (2016).
MSC公司：60年第68季度 03B70号 68兰特 68宽10
PDF格式BibTeX公司 XML格式引用
\textit｛A.Raad｝等人，Lect。注释计算。科学。10017、314--334（2016；Zbl 1483.68203）
全文： 内政部 链接
佩德罗·达罗查·平托;托马斯·丁斯代尔·扬;菲利普·加德纳;朱利安·萨瑟兰

非阻塞并发的模块化终止验证。 （英语） Zbl 1335.68074号

Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-562-49498-1/电子书）。计算机科学讲座笔记9632176-201（2016）。
MSC公司：68号30 03B70号 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{P.da Rocha Pinto}等人，莱克特。注释计算。科学。9632、176--201（2016；Zbl 1335.68074）
全文： 内政部 链接
佩德罗·达罗查·平托;托马斯·丁斯代尔·扬;菲利普·加德纳

并发模块的模块规范中的步骤（受邀的教程论文）。 （英语） Zbl 1351.68188号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319，3-18，仅电子版（2015）。
MSC公司：68问题85 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.da Rocha Pinto}等人，《电子》。注释Theor。计算。科学。319、3-18（2015；Zbl 1351.68188）
全文： 内政部
杜鹃花拉德;朱尔斯·维拉德;菲利普·加德纳

ColoSL：并发局部主观逻辑。 （英语） Zbl 1335.68064号

Vitek，Jan（编辑），《编程语言和系统》。2015年4月11日至18日，作为欧洲软件理论与实践联合会议（ETAPS 2015）的一部分，在英国伦敦举行了第24届欧洲编程研讨会（ESOP 2015）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-466668-1/pbk；978-3-662-466669-8/电子书）。《计算机科学讲义》9032710-735（2015）。
MSC公司：68号30 03B70号 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Raad}等人，Lect。注释计算。科学。9032、710--735（2015；Zbl 1335.68064）
全文： 内政部 链接
Gian Ntzik;佩德罗·达罗查·平托;菲利普·加德纳

容错资源推理。 （英语） Zbl 1329.68080号

冯新余（主编）等，《程序设计语言与系统》。2015年11月30日至12月2日，第13届亚洲研讨会，APLAS，韩国浦项。诉讼程序。查姆：施普林格（ISBN 978-3-319-26528-5/pbk；978-3-3169-26529-2/电子书）。计算机科学课堂讲稿9458，169-188（2015）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Ntzik}等人，Lect。注释计算。科学。9458169-188（2015；Zbl 1329.68080）
全文： 内政部 链接
菲利普·加德纳;Raad，杜鹃花;车轮罩，马克;亚当·赖特

并发库的抽象局部推理：注意差距。 （英语） Zbl 1337.68069号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，147-166，仅电子版（2014）。
MSC公司：68号30 03B70号 68第05页 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，《电子》。注释Theor。计算。科学。308147--166（2014年；Zbl 1337.68069）
全文： 内政部
菲利普·加德纳;Gian Ntzik;亚当·赖特

POSIX文件系统的本地推理。 （英语） Zbl 1405.68080号

邵，钟（编辑），《程序设计语言和系统》。2014年4月5日至13日，在法国格勒诺布尔举行的第23届欧洲编程研讨会（ESOP 2014），作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-54832-1/pbk）。计算机科学课堂讲稿8410，169-188（2014）。
MSC公司：68号30 03B70型
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，Lect。注释计算。科学。8410、169--188（2014年；Zbl 1405.68080）
全文： 内政部
马丁·博丹;亚瑟·查格罗;丹尼尔·菲拉雷蒂;菲利普·加德纳;塞尔吉奥·马菲斯;Daiva Naudziuniene公司;阿兰·施密特;加雷思·史密斯

可信的机械化JavaSript规范。 （英语） Zbl 1284.68381号

第41届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。87-100 (2014).
MSC公司：60年第68季度 68号30 68吨15 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.Bodin}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。87-100（2014年；Zbl 1284.68381）
全文： 内政部
丁斯代尔·杨，托马斯;Lars Birkedal公司;菲利普·加德纳;马修·帕金森;杨红seok

并发程序的视图、合成推理。 （英语） Zbl 1301.68099号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。287-300 (2013).
MSC公司：68号30 68甲19 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Dinsdale-Young}等人，in：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23-25日。纽约州纽约市：计算机协会（ACM）。287--300（2013；Zbl 1301.68099）
全文： 内政部
菲利普·安·加德纳;塞尔吉奥·马菲斯;加雷思·戴维·史密斯

面向JavaScript的程序逻辑。 （英语） Zbl 1321.68193号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。31-44 (2012).
MSC公司：68号30 03B70型 68甲15 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Gardner}等人，摘自：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。31-44（2012；Zbl 1321.68193）
全文： 内政部 链接
卢卡·卡德利;菲利普·加德纳

空间中的进程。 （英语） Zbl 1286.68345号

Ferreira，Fernando（编辑）等人，《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议，CiE 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13961-1/pbk）。计算机科学课堂讲稿615878-87（2010）。
理学硕士：68问题85 51N10号 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{P.Gardner}，莱克特。注释计算。科学。6158，78-87（2010年；Zbl 1286.68345）
全文： 内政部
卢卡·卡德利;艾曼纽尔·卡隆;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔;菲利普斯，安德鲁

肌动蛋白聚合的过程模型。 （英语） Zbl 1283.92047号

尼古拉·卡纳塔（编辑）等人，《第二次研讨会论文集——从生物学到并发性再到向后》（FBTC 2008），冰岛雷克雅未克，2008年7月12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第1期，127-144（2009）。
MSC公司：92C45型 68问题85 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。229，第1号，127--144（2009；Zbl 1283.92047）
全文： 内政部
穆罕默德·拉扎;克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳

具有分离逻辑的自动并行化。 （英语） Zbl 1234.68080号

朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502348-362（2009）。
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Raza}等人，Lect。注释计算。科学。5502348-362（2009年；Zbl 1234.68080）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;奥赞·卡拉马诺·乌拉尔

吞噬作用背景下rho GTP结合蛋白的过程模型。 （英语） Zbl 1279.68252号

尼古拉·卡纳塔（编辑）等人，第一次研讨会《从生物学到并发性再到并发性（FBTC 2007）》会议记录，葡萄牙里斯本，2007年9月8日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》194，第3期，87-102（2008）。
MSC公司：68问题85 87年第68季度 92C40型
PDF格式BibTeX公司 XML格式引用
\textit｛L.Cardelli｝等人，电子。注释Theor。计算。科学。194，第3号，87--102（2008；Zbl 1279.68252）
全文： 内政部
OA许可证
穆罕默德·拉扎;菲利普·加德纳

局部推理中的足迹。 （英语） Zbl 1139.68020号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962201-215（2008）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛M.Raza｝和\textit｛P.Gardner｝，Lect。注释计算。科学。4962201-215（2008年；兹bl 1139.68020）
全文： 内政部 arXiv公司
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

语境逻辑作为模态逻辑，具有完备性和参数不表达性。 （英语） Zbl 1295.68079号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。123-134 (2007).
MSC公司：68号30 03B45号 03B70型
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。123-134（2007年；Zbl 1295.68079）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;乔治·盖利

使用隐藏标签操作树。 （英语） Zbl 1277.68116号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。
MSC公司：68问题55 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，《电子》。注释Theor。计算。科学。172177--201（2007；Zbl 1277.68116）
全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

关于数据更新的本地推理。 （英语） Zbl 1277.68064号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172133-175（2007）。
理学硕士：68第05页 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，《电子》。注释Theor。计算。科学。172133--175（2007年；Zbl 1277.68064）
全文： 内政部
菲利普·加德纳;乌里·扎尔法蒂

上下文逻辑简介。 （英语） Zbl 1213.03039号

Leivant，Daniel（编辑）等人，《逻辑、语言、信息和计算》。2007年7月2日至5日，巴西里约热内卢，第14届国际研讨会，WoLLIC 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73443-7/pbk）。计算机科学课堂讲稿4576189-202（2007）。
MSC公司：03B60号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}和\textit{U.Zarfaty}，莱克特。注释计算。科学。4576，189--202（2007；Zbl 1213.03039）
全文： 内政部
克里斯蒂亚诺·加尔卡尼奥;托马斯·丁斯代尔·扬;菲利普·加德纳

树的上下文逻辑中的辅助消除。 （英语） 兹比尔1137.03312

Shao，Zhong（编辑），《编程语言与系统》。第五届亚洲研讨会，2007年11月29日至12月1日，新加坡，APLAS 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76636-0/pbk）。计算机科学课堂讲稿4807，255-270（2007）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。注释计算。科学。4807255-270（2007年；Zbl 1137.03312）
全文： 内政部 链接
乌里·扎尔法蒂;菲利普·加德纳

关于树更新的局部推理。 （英语） Zbl 1273.03111号

Brookes，Steve（ed.）等人，第22届编程语义数学基础年会论文集（MFPS XXII），意大利热那亚，2006年5月23日至27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记158，399-424（2006）。
MSC公司：03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{U.Zarfaty}和\textit{P.Gardner}，电子。注释Theor。计算。科学。158399--424（2006年；Zbl 1273.03111）
全文： 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;乌里·扎尔法蒂

上下文逻辑和树更新。 （英语） Zbl 1369.68132号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。271-282（2005年）。
理学硕士：68号30 03B70号 68第05页 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。271--282（2005年；Zbl 1369.68132）
全文： 内政部 链接
克里斯蒂亚诺·加尔卡尼奥;菲利普·加德纳;马修·黑格

从分离逻辑到一阶逻辑。 （英语） Zbl 1119.03022号

Sassone，Vladimiro（编辑），《软件科学和计算结构基础》。2005年4月4日至8日在英国爱丁堡举行的第八届国际会议FOSSACS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25388-2/pbk）。计算机科学课堂讲稿3441395-409（2005）。
MSC公司：03B70号 03B25号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{C.Calcagno}等人，Lect。注释计算。科学。3441395--409（2005年；Zbl 1119.03022）
全文： 内政部
卢西安·维希克;菲利普·加德纳

显式融合演算的强互模拟。 （英语） Zbl 1126.68512号

Walukiewicz，Igor（编辑），软件科学和计算结构基础。2004年3月29日至4月2日，作为欧洲软件理论和实践联合会议的一部分，在西班牙巴塞罗那举行了第七届国际会议，FOSSACS 2004。议事程序。柏林：施普林格出版社（ISBN 3-540-21298-1/pbk）。计算机科学课堂讲稿2987484-498（2004）。
MSC公司：68问题85 68号30
PDF格式BibTeX公司 XML格式引用
\textit{L.Wischik}和\textit{P.Gardner}，莱克特。注释计算。科学。298784-498（2004年；兹bl 1126.68512）
全文： 内政部
阿努吉·达瓦尔;菲利普·加德纳;乔治·盖利

通过静态环境逻辑中的游戏进行辅助消除（扩展抽象）。 （英语） Zbl 1117.03338号

Lodaya，Kamal（编辑）等人，FSTTCS 2004：软件技术和理论计算机科学基础。第24届国际会议，印度钦奈，2004年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-24058-6/pbk）。计算机科学课堂讲稿3328211-223（2004）。
MSC公司：03B70号 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.Dawar}等人，Lect。注释计算。科学。3328211-223（2004；Zbl 1117.03338）
全文： 内政部
塞尔吉奥·马菲斯;菲利普·加德纳

动态网络数据的行为等效。 （英语） 兹比尔1088.68555

Levy，Jean-Jacques（编辑）等人，《探索理论信息学的新前沿》。IFIP第18届世界计算机大会，TC1第三届理论计算机科学国际会议（TCS2004），2004年8月22日至27日，法国图卢兹。马萨诸塞州波士顿：Kluwer学术出版社（ISBN 1-4020-8140-5/hbk）。IFIP，国际信息处理联合会155，535-548（2004）。
MSC公司：68第05页
PDF格式BibTeX公司 XML格式引用
\textit{S.Maffeis}和\textit{P.Gardner}，IFIP，国际联邦信息处理协会。155、535--548（2004年；Zbl 1088.68555）
菲利普·加德纳;科西莫·拉内夫;卢西安·维希克

线性货运代理。 （英语） 兹比尔1274.68233

Amadio，Roberto（编辑）等人，CONCUR 2003–并发理论。第14届国际会议，法国马赛，2003年9月3日至5日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40753-7/pbk）。勒克特。注释计算。科学。2761, 415-430 (2003).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，Lect。注释计算。科学。2761415--430（2003年；Zbl 1274.68233）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;乔治·盖利

使用隐藏标签操作树。 （英语） Zbl 1029.68092号

Gordon，Andrew D.（编辑），软件科学和计算结构基础。2003年4月7日至11日，第六届国际会议，FOSSACS 2003，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2003，波兰华沙。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。2620, 216-232 (2003).
MSC公司：68问题55 68页第10页
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。2620、216——232（2003年；Zbl 1029.68092）
全文： 链接
卢卡·卡德利;菲利普·加德纳;乔治·盖利

用于查询图形的空间逻辑。 （英语） 兹比尔1057.68606

Peter Widmayer（编辑）等人，《自动化、语言和编程》。第29届国际学术讨论会，ICALP 2002，西班牙马拉加，2002年7月8日至13日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43864-5）。勒克特。注释计算。科学。2380, 597-610 (2002).
MSC公司：第68页，共15页 68问题85 05C20号
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。2380597--610（2002年；Zbl 1057.68606）
全文： 链接
菲利普·加德纳;科西莫·拉内夫;卢西安·维奇克

融合机（扩展摘要）。 （英语） Zbl 1012.68527号

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。2421, 418-433 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}等人，Lect。注释计算。科学。2421418--433（2002年；Zbl 1012.68527）
全文： 链接
菲利普·加德纳;卢西安·维希克

明确融合。 （英语） Zbl 0996.68523号

尼尔森、莫根斯（编辑）等人，《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1893, 373-382 (2000).
MSC公司：第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}和\textit{L.Wischik}，莱克特。注释计算。科学。1893，373--382（2000；Zbl 0996.68523）
安德鲁·巴伯;菲利普·加德纳;长谷川、Masahito;戈登·普洛金

从行动计算到线性逻辑。 （英语） Zbl 0908.03031号

尼尔森，莫根斯（编辑）等人，《计算机科学逻辑》。第11届国际研讨会，CSL’97。EACSL年会，丹麦奥胡斯，1997年8月23日至29日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1414, 78-97 (1998).
MSC公司：03B60号 03克30
PDF格式BibTeX公司 XML格式引用
\textit{A.Barber}等人，Lect。注释计算。科学。1414，78--97（1998；Zbl 0908.03031）
菲利普·加德纳

动作计算的类型理论描述。 （英语） Zbl 0925.68080号

Andrew Gordon（编辑）等人，HOOTS II。语义高阶操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8日至12日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。10，第7号电子文件（1997年）。
MSC公司：第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}，in：霍布斯II。语义学高级操作技术第二次研讨会。斯坦福大学，加利福尼亚州帕洛阿尔托，美国，1997年12月8-12日。阿姆斯特丹：爱思唯尔。第7号电子文件（1997；Zbl 0925.68080）
全文： 链接
菲利普·加德纳;长谷川、Masahito

高阶动作计算的类型和模型。 （英语） Zbl 0885.03036号

马丁·阿巴迪等人，《计算机软件的理论方面》。第三届国际研讨会，1997年TACS。1997年9月23日至26日，日本仙台。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。1281, 583-603 (1997).
MSC公司：03B70型 68号01 03B40型 18日第15天
PDF格式BibTeX公司 XML格式引用
\textit{P.加德纳}和\textit{M.长谷川}，莱克特。注释计算。科学。1281、583--603（1997；Zbl 0885.03036）
菲利普·加德纳

一个无名的行动计算帐户。 （英语） Zbl 0910.68152号

Brookes，Steve（编辑）等人，《编程语义的数学基础》。第11届会议记录（MFPS），杜兰大学，新奥尔良，美国洛杉矶，1995年3月29日至4月1日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。第1、18页（1995年）。
MSC公司：99年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}，in：编程语义的数学基础。1995年3月29日至4月1日，美国路易斯安那州新奥尔良市杜兰大学第十一届会议记录（MFPS）。阿姆斯特丹：爱思唯尔。18页（1995年；Zbl 0910.68152）
全文： 链接
菲利普·加德纳

使用类型理论发现所需的减少。 （英语） Zbl 0942.03508号

Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。789, 555-574 (1994).
MSC公司：03B40型 68问题55 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}，莱克特。注释计算。科学。789、555--574（1994；Zbl 0942.03508）
菲利普·加德纳

一种用于表示逻辑的新型理论。 （英语） 兹比尔0793.68089

Voronkov，Andrei（编辑），逻辑编程和自动推理。第四届国际会议，1993年7月13日至20日，俄罗斯圣彼得堡LPAR’93。诉讼程序。柏林：Springer-Verlag。勒克特。注释计算。科学。698, 146-157 (1993).
MSC公司：65年第68季度 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{P.Gardner}，莱克特。注释计算。科学。698146-157（1993年；Zbl 0793.68089）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件