×

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

最新的 引文 关联
马尔滕·德·莫尔；马克·范·埃克伦；莱纳斯·普拉斯梅耶

用Sparkle证明懒惰函数程序的属性。 （英语） Zbl 1170.68420号

Horváth，Zoltán（编辑）等人，中欧函数编程学校。2007年6月23日至30日，罗马尼亚Cluj-Napoca，2007年CEFP第二所暑期学校。修订了选定的讲座。柏林：施普林格出版社（ISBN 978-3-540-88058-5/pbk）。计算机科学课堂讲稿516141-86（2008）。
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.de Mol}等人，Lect。注释计算。科学。5161、41-86（2008年；Zbl 1170.68420）
全文： 内政部 链接
路易斯·丹尼斯；阿兰·邦迪；格林，伊恩

使用泛化批评家来寻找共推证明的互模拟。 （英语） Zbl 1430.68399号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249276-290（1997年）。
MSC公司：68伏15 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Dennis}等人，Lect。注释计算。科学。1249276-290（1997年；Zbl 1430.68399）
全文： 内政部 链接
詹姆斯·里利；马修·轩尼诗

分布式进程和位置故障。 （英语） Zbl 1401.68233号

Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学课堂讲稿1256471-481（1997）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.瑞利}和\textit{M.轩尼诗}，莱克特。注释计算。科学。1256471-481（1997年；Zbl 1401.68233）
全文： 内政部
Jerzy Tiuryn；米切尔·旺德

具有输入输出的非类型lambda-calculus。 （英语） Zbl 1508.68213号

Kirchner，Hélène（编辑），代数和编程中的树——CAAP’96。第21届国际学术讨论会，瑞典林雪平，1996年4月22日至24日。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。1059, 317-329 (1996).
MSC公司：68问题55 03B40型 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{J.Tiuryn}和\textit{M.Wand}，莱克特。注释计算。科学。10593117-329（1996年；兹bl 1508.68213）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件