×

计算、意义和逻辑。献给戈登·普洛金的文章。 (英语) Zbl 1273.68018号

理论计算机科学电子笔记172.阿姆斯特丹:爱思唯尔。第652页。,仅电子版(2007年)。

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。
索引文章:
马丁·阿巴迪,核心依赖演算中的访问控制,5-31[兹比尔1277.03008]
萨姆森·艾布拉姆斯基,事件域,稳定函数和证明网,33-67[Zbl 1277.03058号]
英戈·巴滕菲尔德;施罗德,马提亚斯;亚历克斯·辛普森,一个方便的域类别,69-99[Zbl 1277.68113号]
理查德·布鲁特(Richard Blute);帕南加登,普拉卡什;多瑞特·普龙克,作为核函子的共形场理论,101-132[Zbl 1277.18005号]
加尔卡尼奥、克里斯蒂亚诺;菲利普·加德纳;乌里·扎尔法蒂,关于数据更新的本地推理,133-175[Zbl 1277.68064号]
卢卡·卡德利;菲利普·加德纳;乔治·盖利,操纵带有隐藏标签的树,177-201[Zbl 1277.68116号]
吉安·卢卡·卡塔尼;马塞洛·菲奥雷(Marcelo P.Fiore)。,递归区域方程的双范畴理论解,203-222[Zbl 1277.68117号]
克劳斯顿,Ranald A。;安德鲁·皮特斯(Andrew M.Pitts)。,名义方程逻辑,223-257[Zbl 1277.68043号]
卡尔·克里;罗伯特·哈珀,多态和递归类型的句法关系,259-299[Zbl 1277.68119号]
皮埃尔·卢伊斯·居里,可定义性和完全抽象,301-310[Zbl 1277.68120号]
达塔,阿努帕姆;Derek,Ante;约翰·米切尔(John C.Mitchell)。;阿纳布·罗伊,协议组成逻辑(PCL),311-358[Zbl 1277.68033号]
邓玉新;Rob Van Glabbeek;轩尼诗,马修;Morgan,Carroll;张晨毅,关于测试概率过程的备注,359-397[Zbl 1277.68121号]
Furio Honsell;玛丽娜·莱妮莎;路易吉·利科里,定义逻辑框架的框架,399-436[兹比尔1277.03029]
马丁·海兰德(Martin Hyland);权力,约翰,《泛代数的范畴论理解:Lawvere理论和单子》,437-458[Zbl 1277.08003号]
Mislove,Michael;巴甫洛维奇,杜斯科;詹姆斯·沃雷尔,将马尔可夫过程标记为广义随机关系,459-478[Zbl 1277.68198号]
尤金尼奥·莫吉,结构化操作语义:简化和计算,479-497[兹比尔1277.68124]
尼尔森,莫根斯;卡尔·克鲁科夫;弗拉迪米罗·萨松,基于事件的信任的贝叶斯模型,499-521[Zbl 1277.68038号]
尼尔森,弗莱明;尼尔森,Hanne Riis,安全和安保约束启发式,523-543[Zbl 1277.68250号]
戴维·皮姆(David Pym);克里斯·托夫茨《通过资源和过程进行系统建模:哲学、微积分、语义和逻辑》,545-587[Zbl 1277.68202号]
科林·斯特林,typed\(\lambda\)-calculi的模型检查游戏,589-609[Zbl 1277.68148号]
格林·温斯克尔,具有对称性的事件结构,611-652[Zbl 1277.68214号]

MSC公司:

68-06 与计算机科学有关的论文集、会议、文集等
00立方厘米 费斯特施里夫滕

传记参考:

戈登·普洛金
PDF格式BibTeX公司 XML格式引用
全文: 链接