×

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

最新的 引文 关联
斯特凡诺游击队；马可·索列里

最佳实施是否效率低下？基本上不是。 （英语） Zbl 1434.68087号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第17条，第16页（2017年）。
MSC公司：68甲18 03B40型 05年3月 第03页
PDF格式BibTeX公司 XML格式引用
\textit{S.游击队}和\textit{M.索列里}，LIPIcs——莱布尼茨国际程序。通知。84，第17条，第16页（2017；Zbl 1434.68087）
全文： 内政部
吉恩·菲乔特

证明理论的语义和可行性。 （英语） Zbl 1355.03045号

Dubucs，Jacques（编辑）等人，《历史和哲学视角下的建构性和可计算性》。多德雷赫特：施普林格出版社（ISBN 978-94-017-9216-5/hbk；978-94-017-9217-2/电子书）。《逻辑、认识论和科学的统一》34，135-157（2014）。
MSC公司：03财年03 03A05号 第03页
PDF格式BibTeX公司 XML格式引用
\textit{J.Fichot}，日志。认识论。统一科学。34、135——157（2014；Zbl 1355.03045）
全文： 内政部
安托万·马德特；罗伯特·阿马迪奥（Roberto M.Amadio）。

具有多线程和副作用的基本仿射演算。 （英语） 兹比尔1331.68043

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690138-152（2011）。
MSC公司：68甲18 03B40型 第03页
PDF格式BibTeX公司 XML格式引用
\textit{A.Madet}和\textit{R.M.Amadio}，莱克特。票据计算。科学。6690，138--152（2011；Zbl 1331.68043）
全文： 内政部 哈尔
马克·拉森

控制轻逻辑中的程序提取。 （英语） Zbl 1331.03028号

Ong，Luke（编辑），《键入lambda calculi和应用》。2011年6月1日至3日在塞尔维亚诺维萨德举行的2011年TLCA第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21690-9/pbk；978-3-662-21691-6/电子书）。计算机科学讲座笔记6690123-137（2011）。
MSC公司：03B70号 第03页
PDF格式BibTeX公司 XML格式引用
\textit{M.Lasson}，莱克特。票据计算。科学。6690123-137（2011年；Zbl 1331.03028）
全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼

有界线性逻辑，重温。 （英语） Zbl 1211.03089号

Curien，Pierre Louis（编辑），类型lambda结石及其应用。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608，80-94（2009）。
MSC公司：第03页
PDF格式BibTeX公司 XML格式引用
\textit{U.Dal Lago}和\textit{M.Hofmann}，莱克特。票据计算。科学。5608、80-94（2009年；Zbl 1211.03089）
全文： 内政部 arXiv公司
卢卡·罗维斯；卢卡·维切利

多模和分层证明网具有一定的复杂性和表现力。 （英语） 兹比尔1246.03075

Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿5497306-322（2009）。
MSC公司：20层03 2015年3月1日 2007年3月 第03页
PDF格式BibTeX公司 XML格式引用
\textit{L.Roversi}和\textit{L.Vercelli}，莱克特。票据计算。科学。5497、306--322（2009年；Zbl 1246.03075）
全文： 内政部
马克斯·卡诺维奇

具有受控弱化的轻型线性逻辑。 （英语） Zbl 1211.03092号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2009年1月3日至6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。计算机科学课堂讲稿5407，246-264（2009）。
MSC公司：第03页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Kanovich}，莱克特。票据计算。科学。5407、246——264（2009年；Zbl 1211.03092）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

主字段

全部的 前3名

软件