×

找到95个文档（结果1-95）

最新的 引文 关联
克里斯蒂娜·马塔奇;肖恩·莫斯;萨姆·斯塔顿

滑轮类别中的递归性和顺序性。 （英语） Zbl 07700630号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第25条，第22页（2021年）。
MSC公司：68倍 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Matache}等人，LIPIcs——莱布尼茨国际程序。通知。195，第25条，第22页（2021；Zbl 07700630）
全文： 内政部 arXiv公司
乌戈·达尔拉戈;弗朗西斯科·加瓦佐

资源转换系统和线性高阶有效程序的完全抽象。 （英语） Zbl 07700628号

Naoki Kobayashi（编辑），第六届计算和演绎形式结构国际会议，FSCD 2021，阿根廷布宜诺斯艾利斯，虚拟会议，2021年7月17日至24日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。195，第23条，第19页（2021年）。
MSC公司：68倍 03B70号 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{F.Gavazzo}，LIPIcs——莱布尼茨国际程序。通知。195，第23条，第19页（2021；Zbl 07700628）
全文： 内政部 arXiv公司
Gianluca Curzi;米歇尔·帕加尼

概率演算中非懒惰的好处。适用的互模拟对于非惰性概率调用名是完全抽象的。 （英语） Zbl 1498.03041号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。327-340（2020年）。
MSC公司：03B40型 03B48号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Curzi}和\textit{M.Pagani}，in：2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。327--340（2020年；Zbl 1498.03041）
全文： 内政部
菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西

信号流图的上下文等效。 （英语） Zbl 07250933号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 77-96 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bonchi｝等人，Lect。注释计算。科学。12077、77--96（2020；Zbl 07250933）
全文： 内政部 arXiv公司
皮埃尔·克莱兰堡;雨果·帕奎特

概率（λ）演算的完全抽象模型。 （英语） Zbl 1528.03117号

Ghica，Dan R.（编辑）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119，第16条，第17页（2018）。
MSC公司：03B40型 68问题85 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Clairambault}和\textit{H.Paquet}，LIPIcs——莱布尼茨国际程序。通知。119，第16条，第17页（2018；Zbl 1528.03117）
全文： 内政部
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉

渴望作为过程发挥作用。 （英语） Zbl 1452.03044号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。364-373 (2018).
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{A.Durier}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。364--373（2018；Zbl 1452.03044）
全文： 内政部 arXiv公司 哈尔
西蒙·卡斯特伦;皮埃尔·克莱兰堡;格林·温斯克尔

并行指令的可观测确定性并发策略和内涵式完全抽象。 （英语） Zbl 1441.68144号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第12条，第16页（2017年）。
MSC公司：68问题85 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Castellan}等人，LIPIcs--Leibniz Int.Proc。通知。84，第12条，第16页（2017年；Zbl 1441.68144）
全文： 内政部
菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西

信号流图的完全抽象。 （英语） Zbl 1346.68143号

第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录，2015年1月12日至18日，印度孟买，POPL’15。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3300-9）。515-526（2015年）。
MSC公司：68兰特 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，《第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’15，印度孟买，2015年1月12-18日。纽约州纽约市：计算机协会（ACM）。515--526（2015；Zbl 1346.68143）
全文： 内政部
弗拉维恩·布鲁瓦特

关于\（mathcal{H}^*\）模型的特征。 （英语） Zbl 1394.03022号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第24号论文，第10页（2014年）。
MSC公司：03B40型
PDF格式BibTeX公司 XML格式引用
\textit{F.Breuvart}，in：第二十三届EACSL计算机科学逻辑年会联合会议会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第24号论文，第10页（2014；Zbl 1394.03022）
全文： 内政部
安德烈·穆拉夫斯基。;尼科斯·齐夫列科斯

界面中量级Java的游戏语义。 （英语） Zbl 1284.68375号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。517-528 (2014).
MSC公司：68问题55 68甲15 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.S.Murawski}和\textit{N.Tzevelekos}，摘自：第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。517--528（2014；Zbl 1284.68375）
全文： 内政部 链接
托马斯·埃尔哈德;克里斯汀·塔森;米歇尔·帕加尼

概率相干空间对概率PCF是完全抽象的。 （英语） Zbl 1284.68268号

2014年1月22日至24日，美国加利福尼亚州圣地亚哥，POPL’14，第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2544-8）。309-320 (2014).
MSC公司：2010年第68季度 68问题55 第68季度第60季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Ehrhard}等人，《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》，POPL’14，美国加利福尼亚州圣地亚哥，2014年1月22日至24日。纽约州纽约市：计算机协会（ACM）。309--320（2014；Zbl 1284.68268）
全文： 内政部
苏苏木西村

一个完全抽象的游戏语义，用于共享变量上的非阻塞同步并行。 （英语） Zbl 1356.68139号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，578-596（2013）。
MSC公司：68问题55 18个C20 68甲15 第68页第19页 91A40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Nishimura}，LIPIcs——莱布尼茨国际程序。通知。23578-596（2013年；Zbl 1356.68139）
全文： 内政部
马丁·阿巴迪;杰雷米·普莱诺;普罗特金，戈登

布局随机化和不确定性。 （英语） Zbl 1334.68045号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》298、29-50（2013）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}等人，《电子》。注释Theor。计算。科学。298、29-50（2013年；Zbl 1334.68045）
全文： 内政部
塞德里克·福内特;尼基尔·斯瓦米;陈，胡安;皮埃尔·埃瓦里斯特·达甘;Pierre-Yves支柱;本杰明·利夫希茨

完全抽象编译为JavaScript。 （英语） Zbl 1301.68100号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。371-384 (2013).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Fournet}等人，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’13，意大利罗马，2013年1月23日至25日。纽约州纽约市：计算机协会（ACM）。371--384（2013年；Zbl 1301.68100）
全文： 内政部 哈尔
斯特芬·Lösch;安德鲁·皮特斯（Andrew M.Pitts）。

标称Scott域的完全抽象。 （英语） Zbl 1301.68103号

2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1832-7）。3-14 (2013).
MSC公司：68号30 06B35号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Lösch}和\textit{A.M.Pitts}，摘自：第40届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，2013年1月23日至25日，意大利罗马，POPL'13。纽约州纽约市：计算机协会（ACM）。3-14（2013；Zbl 1301.68103）
全文： 内政部
弗拉维恩·布鲁瓦特

资源lambda演算在其关系模型中是短视的。 （英语） Zbl 1381.03021号

长谷川，Masahito（编辑），键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38945-0/pbk）。计算机科学课堂讲稿7941，93-108（2013）。
MSC公司：03B40型 03楼52 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{F.Breuvart}，莱克特。注释计算。科学。7941、93——108（2013年；Zbl 1381.03021）
全文： 内政部
邓晓杰;张瑜;邓玉欣;钟、法隆

缓冲演算：并发语言的模型。 （英语） Zbl 1377.68147号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37063-2/pbk）。计算机科学课堂讲稿7810250-261（2013）。
MSC公司：68问题85 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{X.Deng}等人，Lect。注释计算。科学。7810250-261（2013；Zbl 1377.68147）
全文： 内政部 arXiv公司
丹·特多休

多组可消费资源上的真正并发进程语义。 （英语） Zbl 1342.68245号

Berger，Ulrich（ed.）等人，第28届编程语义数学基础会议论文集（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》286、307-321（2012）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛D.Teodosiu｝，电子。注释Theor。计算。科学。286307-321（2012年；兹比尔1342.68245）
全文： 内政部
安东尼奥·布恰雷利;阿尔贝托·卡拉罗;托马斯·埃尔哈德;朱利奥·曼佐内托

通过泰勒展开，通过测试对资源lambda演算进行完全抽象。 （英语） Zbl 1260.03021号

日志。计算方法。科学。 8，第4号，第3号论文，44页（2012年）.
MSC公司：03B40型 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{A.Bucciarelli}等人，《日志》。计算方法。科学。8，第4号，第3号论文，44页（2012；Zbl 1260.03021）
全文： 内政部
丹尼尔·德·卡瓦略;洛伦佐托托拉·德·法尔科

对于乘法指数线性逻辑，关系模型是内射的（没有减弱）。 （英语） Zbl 1251.03080号

Ann.纯粹应用。逻辑 163，第9期，1210-1236（2012）.
审核人：阿尔贝托·卡拉罗（梅斯特）
MSC公司：03楼52 03B40型 03B47型 03B70号 03财年03 05年3月 07年3月 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.de Carvalho}和\textit{L.Tortora de Falco}，Ann.纯粹应用。逻辑163，No.9，1210--1236（2012；Zbl 1251.03080）
全文： 内政部
亚伦·图伦;米切尔·旺德

（pi）演算的资源分析。 （英语） Zbl 1342.68246号

Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276313-334（2011）。
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛A.Turon｝和\textit｛M.Wand｝，电子。注释Theor。计算。科学。276313-334（2011年；兹比尔1342.68246）
全文： 内政部
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

通过多语言语义提供对等的CPS翻译。 （英语） Zbl 1323.68088号

2011年9月19-21日在日本东京举行的第16届ACM SIGPLAN功能编程国际会议记录，ICFP’11。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0865-6）。ACM SIGPLAN Notices 46，No.9，431-444（2011）。
MSC公司：68甲18 68N20型 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}和\textit{M.Blume}，in：第16届ACM SIGPLAN函数编程国际会议论文集，ICFP'11，日本东京，2011年9月19-21日。纽约州纽约市：计算机协会（ACM）。431--444（2011；Zbl 1323.68088）
全文： 内政部
安东尼奥·布恰雷利;阿尔贝托·卡拉罗;托马斯·埃尔哈德;朱利奥·曼佐内托

通过测试实现资源演算的完全抽象。 （英语） Zbl 1247.03020号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，97-111，仅电子版（2011年）。
MSC公司：03B40型 03B70号 03楼52
PDF格式BibTeX公司 XML格式引用
\textit{A.Bucciarelli}等人，LIPIcs——莱布尼茨国际程序。通知。12、97——111（2011；Zbl 1247.03020）
全文： 内政部 arXiv公司 链接
安德烈·穆拉夫斯基。

没有同步原语的完全抽象。 （英语） Zbl 1342.68061号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265，423-436（2010）。
MSC公司：第68页第19页 68甲15 68问题55 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛A.S.Murawski｝，电子。注释Theor。计算。科学。265、423至436（2010年；兹比尔1342.68061）
全文： 内政部
卡罗尔·摩根

如何酿造精炼订单。 （英语） Zbl 1342.68094号

Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259123-141（2009）。
MSC公司：68号30 68问题55 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Morgan}，电子。注释Theor。计算。科学。259123--141（2009年；Zbl 1342.68094）
全文： 内政部
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

类型闭合转换保持了观测等价性。 （英语） Zbl 1323.68350号

2008年9月20日至28日，第13届ACM SIGPLAN功能编程国际会议记录，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，157-168（2008）。
MSC公司：68问题55 68甲15 68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Ahmed｝和\textit｛M.Blume｝，载于：第13届ACM SIGPLAN功能编程国际会议论文集，ICFP’08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20日至28日。纽约州纽约市：计算机协会（ACM）。157-168（2008年；兹比尔1323.68350）
全文： 内政部
J.莱尔德。

新名称的顺序性和CPS语义。 （英语） Zbl 1316.68067号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173203-219（2007）。
MSC公司：68问题55 06B35号
PDF格式BibTeX公司 XML格式引用
\textit{J.Laird}，电子。注释Theor。计算。科学。173203-219（2007；Zbl 1316.68067）
全文： 内政部
米歇尔·布格列西;马可·朱蒂

类型化通道抽象的安全实现。 （英语） Zbl 1295.68078号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。251-262 (2007).
MSC公司：68号30 第68页第19页 68问题85 94A60型
PDF格式BibTeX公司 XML格式引用
\textit｛M.Bugliesi｝和\textit｛M.Giunti｝，载于：第34届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’07，法国尼斯，2007年1月17日至19日。纽约州纽约市：计算机协会（ACM）。251--262（2007年；Zbl 1295.68078）
全文： 内政部
艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔（Frank S。;安德烈亚斯·格吕纳;马丁·斯特芬

连续类演算中的可观察性、连接性和重播。 （英语） Zbl 1143.68359号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。计算机科学课堂讲稿3657，296-316（2005）。
MSC公司：68号30 第68页第19页
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。3657296-316（2005年；Zbl 1143.68359）
全文： 内政部
艾丽卡·阿尔布拉汉姆;马塞洛·M·邦桑格。;德波尔（Frank S。;马丁·斯特芬

对象连接性和类的并发演算的完全抽象。 （英语） Zbl 1108.68538号

Liu，Zhiming（编辑）等人，《计算的理论方面——ICTAC 2004》。第一届国际学术讨论会，中国贵阳，2004年9月20日至24日。修订了选定的论文。柏林：施普林格出版社（ISBN 3-540-25304-1/pbk）。计算机科学课堂讲稿3407，37-51（2005）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.ábrahám}等人，Lect。注释计算。科学。3407、37--51（2005年；Zbl 1108.68538）
全文： 内政部
盖·麦库斯克

关于类Algol语言中坏变量构造函数的语义。 （英语） Zbl 1337.68053号

Steven Brookes（编辑），第19届编程语义数学基础会议论文集（MFPS XIX），加拿大蒙特利尔，2003年3月19-22日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记83，169-186，仅电子版（2003）。
MSC公司：68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{G.McCusker}，电子。注释Theor。计算。科学。83、169--186（2003年；Zbl 1337.68053）
全文： 内政部
盖·麦库斯克

干扰的句法控制的完全抽象关系模型。 （英语） Zbl 1020.68048号

朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。2002年9月22日至25日，第16届国际研讨会，CSL 2002，第11届EACSL年会，苏格兰爱丁堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 247-261 (2002).
MSC公司：68问题55 68甲15 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.McCusker}，莱克特。注释计算。科学。2471247--261（2002；Zbl 1020.68048）
全文： 链接
约翰·朗利;普罗特金，戈登

逻辑完全抽象和PCF。 （英语） Zbl 0961.68081号

Ginzburg，Jonathan（编辑）等人，《第比利斯逻辑、语言和计算研讨会：论文选集》，格鲁吉亚古达乌里，1995年10月19-22日。加利福尼亚州斯坦福：CSLI出版物。逻辑、语言和信息研究。333-352 (1998).
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛J.Longley｝和\textit｛G.Plotkin｝，在：第比利斯关于逻辑、语言和计算的研讨会：论文选集，格鲁吉亚古道里，1995年10月19日至22日。加利福尼亚州斯坦福：CSLI出版物；阿姆斯特丹：欧洲逻辑、语言和信息协会（FoLLI）。333--352（1998年；Zbl 0961.68081）
杰拉德·布多尔;卡罗来纳州拉瓦泰利

使用资源和收敛测试对lambda演算进行完全抽象。 （英语） Zbl 1508.68208号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，1996年4月22日至24日，瑞典林雪平。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 302-316 (1996).
MSC公司：68问题55 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{G.Boudol}和\textit{C.Lavatelli}，莱克特。注释计算。科学。1059302-316（1996年；Zbl 1508.68208）
全文： 内政部
艾布拉姆斯基，S。（编辑）;加贝，多夫·M。（编辑）;迈鲍姆，T.S.E。（编辑）

计算机科学逻辑手册。第4卷：语义建模。 （英语） Zbl 0876.68001号

牛津：克拉伦登出版社。xiii，651页（1995年）。
MSC公司：68-00 00B15号机组 68问题55 03B70号 2010年第68季度 68问题65 03D45号 第68季度第60季度 06B35号 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramsky}（编辑）等人，《计算机科学中的逻辑手册》。第4卷：语义建模。牛津：克拉伦登出版社（1995；Zbl 0876.68001）
Joost N.角。

数据流语义的当前趋势。 （英语） Zbl 0803.68069号

Droste，Manfred（编辑）等人，《编程语言的语义和模型理论》。1991年6月23日至29日，在德国SchloßDägstuhl国际会议和计算机科学研究中心上发表的论文。伊弗登：戈登和布雷奇科学出版社。代数日志。申请。5245-268页（1993年）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Kok}，代数日志。申请。5245--268（1993；Zbl 0803.68069）
库尔特·西伯

调用值和不确定性。 （英语） Zbl 0788.68092号

Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 376-390 (1993).
MSC公司：68问题55 65年第68季度 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{K.Sieber}，莱克特。注释计算。科学。664376-390（1993年；Zbl 0788.68092）
库尔特·西伯

通过逻辑关系推理顺序函数。 （英语） Zbl 0798.68097号

Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。177, 258-269 (1992).
MSC公司：68问题55 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{K.Sieber}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177258--269（1992年；Zbl 0798.68097）
居里，P.-L。

顺序性和完全抽象。 （英语） Zbl 0798.68098号

Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.Lect（社会学）。注释序列号。177, 66-94 (1992).
MSC公司：68问题55 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.L.居里}，伦敦。数学。Soc.Lect（社会学）。注释序列号。177，66–94（1992年；兹bl 0798.68098）
斯塔夫罗斯·科斯马达基斯。

使用递归类型进行计算。 （英语） Zbl 0735.68056号

计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989，24-38（1989）。
审核人：V.Yu先生。萨约诺夫
MSC公司：68问题55 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{S.S.Cosmadakis}，in：计算机科学中的逻辑，Proc。第四届年度交响乐团。，太平洋格罗夫/加利福尼亚州（美国）。24-38（1989年；兹bl 0735.68056）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件