×

软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 (英语) Zbl 1213.68041号

计算机科学课堂讲稿6604.柏林:施普林格出版社(ISBN 978-3-642-19804-5/pbk)。xv,第473页。(2011).

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

本卷的文章将单独进行审查。有关上一次会议,请参阅Zbl 1185.68013号.
索引文章:
帕南加登,普拉卡什,量子计算中的结构搜索,1-11[Zbl 1326.81050号]
巴特·雅各布斯,余代数行走,量子和图灵计算,12-26[兹比尔1326.68192]
保罗·布莱恩·利维,与最终余代数的相似商,27-41[Zbl 1326.68193号]
霍尔格·博克·阿克塞尔森;罗伯特·格莱克,可逆程序计算什么?,42-56 [Zbl 1326.68134号]
安德烈亚斯·亚贝尔,类型理论与异质等式判断无关,57-71[兹比尔1326.68076]
Robert Atkey;Patricia Johann;尼尔·加尼,什么时候类型细化是归纳类型?,72-87 [Zbl 1326.68066号]
亚历克西斯·伯纳黛特;圣埃芬伦格兰,通过非幂等交集类型的强正规化(λ)项的复杂性,88-107[Zbl 1326.68067号]
Jean-Philippe Bernardy;马克·拉森,纯类型系统中的可实现性和参数性,108-122[Zbl 1326.68068号]
阿德里安·皮耶拉德(Adrien Piérard);Sumii、Eijiro,高阶分布式过程演算的声音互模拟,123-137[Zbl 1326.68203号]
安德烈斯·阿里斯蒂扎巴尔;Filippo Bonchi;帕拉米德斯,卡图西亚;路易斯·皮诺;弗兰克·巴伦西亚,导出并发约束编程的标签和双相似性,138-152[Zbl 1326.68196号]
雷米发动机盖;阿兰·芬克尔(Alain Finkel);谢尔盖·哈达德;费尔南多·罗莎·维拉尔多,《结构良好过渡系统表达的序数理论》,153-167[兹比尔1326.68198]
Dax,Christian;费利克斯·克莱特克,嵌套词自动机的交替消除,168-183[Zbl 1326.68175号]
乌迪·博克;奥尔纳·库普弗曼184-198年[Zbl 1326.68174号]
哈拉米什、舒拉米特;奥尔纳·库普弗曼,最小化确定性格自动机,199-213[兹比尔1326.68194]
迪迪埃·科卡尔(Didier Caucal);丁俊秀,单词重写系统的规则性和上下文无关性,214-228[Zbl 1326.68169号]
雷米·朱伯特;皮埃尔·阿莱·雷尼尔,平面时间自动机的定量稳健性分析,229-244[Zbl 1326.68185号]
Nathalie Bertrand;阿梅利·施泰纳(Amélie Stainer);蒂埃里·杰伦;莫伊斯·克里钦,确定时间自动机的游戏方法,245-259[Zbl 1326.68173号]
直纪小林,一种实用的线性时间算法,用于高阶递归方案的平凡自动机模型检查,260-274[Zbl 1326.68187号]
维尔纳,雅伦;亚历山大·拉比诺维奇,噪声输入的Church合成问题,275-289[Zbl 1326.68189号]
Mio、Matteo,具有独立乘积的概率模态演算,290-304[Zbl 1326.68202号]
Schwinghammer,Jan;Birkedal,Lars;克里斯蒂安·斯特夫林,通过递归定义的度量空间上的递归属性实现隐状态的逐步诱导Kripke模型,305-319[Zbl 1326.68105号]
北彦浩弘,线性函数编程语言的一种改进GoI解释及其充分性,320-334[Zbl 1326.68097号]
皮埃尔·克莱兰堡,竞技场游戏语义中交互长度的估计,335-349[兹比尔1326.68069]
Dan R.Ghica。;穆罕默德·梅纳。,通过圆形抽象实现同步游戏语义,350-364[Zbl 1326.68179号]
默多克·J·加贝。;文森佐·西安西亚、新鲜度和名称限制,以带有名称的痕迹集表示,365-380[Zbl 1241.68049号]
马科托·哈马纳,通过Grothendieck构造的多态抽象语法,381-395[Zbl 1326.68191号]
米歇尔·博雷莱(Michele Boreale);弗朗西斯卡·帕姆帕洛尼;米歇拉·保里尼,一次性攻击下的渐进信息泄漏,396-410[Zbl 1326.94077号]
克里斯蒂安·斯塔尔(Christian Stahl);沃尔特·福格勒,基于跟踪的操作指南视图,411-425[Zbl 1326.68204号]
莫勒,安德斯;马西亚斯·施瓦兹,无上下文语言的HTML验证,426-440[Zbl 1326.68038号]
乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗,关于派系在特设网络参数化验证中的力量,441-455[Zbl 1326.68040号]
帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;劳伦特·莫博涅,抽象域的约化积和决策过程的组合,456-472[Zbl 1326.68089号]

MSC公司:

68-06 与计算机科学有关的论文集、会议、文集等
68季度xx 计算理论
00B25型 杂项特定利益的会议记录
PDF格式BibTeX公司 XML格式引用
全文: 内政部