×

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

最新的 引文 关联
丹·弗鲁明;罗伯特·克雷伯斯;拉尔斯·比克达尔

ReLoC重载：一种用于细粒度并发和逻辑原子性的机械化关系逻辑。 （英语） Zbl 07407781号

日志。方法计算。科学。 17，第3号，第9号论文，59页（2021年）.
MSC公司：03B70号 03B35型 68问题85 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Frumin}等人，日志。方法计算。科学。17，第3号，第9号论文，59页（2021；Zbl 07407781）
全文： arXiv公司 链接
尼尔·D·琼斯。;G.W.汉密尔顿。

渐进加速、互模拟和蒸馏（正在进行中）。 （英语） Zbl 1434.68109号

Voronkov，Andrei（编辑）等人，《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8974, 177-185 (2015).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{N.D.Jones}和\textit{G.W.Hamilton}，Lect。注释计算。科学。8974、177--185（2015年；Zbl 1434.68109）
全文： 内政部
Dariusz Biernacki;塞尔盖·伦格利特

call-by-name和call-by-value\（\lambda\mu\）-calculus的适用相似性。 （英语） Zbl 1337.68056号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308，49-64，仅电子版（2014）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit｛D.Biernacki｝和\textit｛S.Lenglet｝，电子。注释Theor。计算。科学。308、49-64（2014年；Zbl 1337.68056）
全文： 内政部
克里斯蒂安·斯特夫林;索伦·拉森（Soren B.Lassen）。

顺序控制和状态的完整的共归纳句法理论。 （英语） Zbl 1253.68083号

Palsberg，Jens（编辑），语义和代数规范。献给彼得·莫斯60岁生日之际的散文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，329-375（2009）。
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{K.Stövring}和\textit{S.B.Lassen}，莱克特。注释计算。科学。5700、329--375（2009年；Zbl 1253.68083）
全文： 内政部
曼弗雷德·施密特·肖斯;埃琳娜·马奇卡索娃

具有letrec、构造函数和case的非确定性按需调用lambda-calculus中的有限模拟方法。 （英语） 兹比尔1145.68377

安德烈·沃伦科夫（编辑），《重写技术与应用》。第19届国际会议，2008年RTA，2008年7月15日至17日，奥地利哈根贝格。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70588-8/pbk）。计算机科学课堂讲稿5117，321-335（2008）。
MSC公司：68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Schmidt-Schauss}和\textit{E.Machkasova}，莱克特。注释计算。科学。5117、321--335（2008年；Zbl 1145.68377）
全文： 内政部
保罗·布莱恩·利维

Amb打破了精准，而地面Amb则没有。 （英语） Zbl 1316.68098号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，221-239（2007）。
MSC公司：68问题85 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.B.Levy}，电子。注释Theor。计算。科学。173、221--239（2007；Zbl 1316.68098）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件