×

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

最新的 引文 关联
卢卡·卡德利;菲利普·加德纳;乔治·盖利

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

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172177-201（2007）。
MSC公司：68问题55 68磅05分
PDF格式BibTeX公司 XML格式引用
\textit｛L.Cardelli｝等人，电子。注释Theor。计算。科学。172177--201（2007年；兹bl 1277.68116）
全文： 内政部
卢卡·卡德利;菲利普·加德纳;乔治·盖利

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

Andrew D.Gordon（编辑），《软件科学和计算结构基础》。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）
全文： 链接
卢卡·卡德利;菲利普·加德纳;乔治·盖利

用于查询图形的空间逻辑。 （英语） Zbl 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 0977.68028号

David Sands（编辑），《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会（ESOP 2001），是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2028, 1-22 (2001).
MSC公司：第68页，共15页 68甲15 03B70号 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}和\textit{G.Ghelli}，莱克特。注释计算。科学。2028年1月22日（2001年；Zbl 0977.68028）
全文： 链接
卢卡·卡德利;乔治·盖利;安德鲁·戈登。

保密和创建组。 （英语） Zbl 0999.68148号

Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 365-379 (2000).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。1877365-379（2000年；Zbl 0999.68148）
卢卡·卡德利;乔治·盖利;安德鲁·戈登。

周围人群和流动类型。 （英语） Zbl 0998.68536号

van Leeuwen，Jan（编辑）等人，《理论计算机科学》。探索理论信息学的新前沿。IFIP TCS 2000国际会议，日本仙台，2000年8月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1872333-347（2000年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Cardelli}等人，Lect。注释计算。科学。1872333-347（2000年；Zbl 0998.68536）

筛选结果依据…

文档类型

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件