×

找到201份文件（结果1-100）

最新的 引文 关联
詹伯华;范玉恒;熊伟强;徐润清

Iscalc：交互式符号计算框架（系统描述）。 （英语） Zbl 07838509号

Pientka，Brigitte（编辑）等人，《自动扣除——CADE 29》。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14132, 577-589 (2023).
MSC公司：03B35型 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{B.Zhan}等人，Lect。注释计算。科学。14132、577至589（2023年；兹bl 07838509）
全文： 内政部
加布里埃尔·布里奥拉;彼得·舒斯特;英戈·布莱希施密特

Noether条件和良好拟阶的构造图。 （英语） Zbl 07787570号

Della Vedova，Gianluca（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13967, 50-62 (2023).
审核人：丹尼尔·罗曼诺（巴尼亚·卢卡）
MSC公司：65楼03号 06A07年 2011年1月6日 13E05号
PDF格式BibTeX公司 XML格式引用
\textit{G.Buriola}等人，Lect。注释计算。科学。13967，50-62（2023；Zbl 07787570）
全文： 内政部
达内尔·阿赫曼

当程序不得不看着油漆变干时。 （英语） Zbl 07770329号

Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992, 1-23 (2023).
MSC公司：68新元 第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}，莱克特。注释计算。科学。13992，1--23（2023；Zbl 07770329）
全文： 内政部 arXiv公司
OA许可证
卡斯滕·施耐德

在（R\Pi\Sigma）扩展中改进了伸缩算法，以减少分母的度数。 （英语） 兹比尔07760796

Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。498-507 (2023).
MSC公司：68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{C.Schneider}，in：第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆瑟，2023年7月24-27日。纽约州纽约市：计算机协会（ACM）。498-507（2023年；兹bl 07760796）
全文： 内政部 arXiv公司
OA许可证
川崎一木;聪，又有;Hidehiko Masuhara;Daan Leijen

针对封闭效果行的合理且完整的类型推断。 （英语） Zbl 1528.68067号

Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 144-168 (2023).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{K.Ikemori}等人，Lect。注释计算。科学。13401144-168（2023年；Zbl 1528.68067）
全文： 内政部
聪，又有;浅井，肯尼奇

通过分隔控制运算符理解代数效果处理程序。 （英语） Zbl 1528.68060号

Swierstra，Wouter（编辑）等人，《函数编程趋势》。第23届国际研讨会，TFP 2022，虚拟活动，2022年3月17日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。13401, 59-79 (2023).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Y.Cong}和\textit{K.Asai}，莱克特。注释计算。科学。13401、59--79（2023年；Zbl 1528.68060）
全文： 内政部
安德鲁·皮特斯（Andrew M.Pitts）。;南卡罗来纳州斯坦坎普。

使用膨胀迭代构造初始代数。 （英语） Zbl 1530.18006号

岸田文雄，Kohei（编辑），2021年第四届应用范畴理论国际会议论文集，ACT 2021，英国剑桥，2021年7月12-16日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）37288-102（2022）。
MSC公司：18A40型 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Pitts}和\textit{S.C.Steenkamp}，电子。程序。西奥。计算。科学。（EPTCS）372，88--102（2022；Zbl 1530.18006）
全文： arXiv公司 链接
菲利普·舒斯特;Brachthäuser，乔纳森·伊曼纽尔;克劳斯·奥斯特曼

基于区域的资源管理和连续传递样式的词法异常处理程序。 （英语） Zbl 1528.68052号

Sergey，Ilya（编辑），《编程语言与系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 492-519 (2022).
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.Schuster}等人，Lect。注释计算。科学。13240，492--519（2022；Zbl 1528.68052）
全文： 内政部
OA许可证
杨志轩;马尔科·帕维奥蒂;尼古拉斯·吴;范登伯格，比尔特;汤姆·施里杰弗斯

范围效应的结构化处理。 （英语） Zbl 1528.68088号

谢尔盖，伊利亚（编辑），《编程语言和系统》。2022年4月2日至7日，在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022，作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13240, 462-491 (2022).
MSC公司：68号30 18 C50 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{Z.Yang}等人，Lect。注释计算。科学。13240、462--491（2022；Zbl 1528.68088）
全文： 内政部 arXiv公司
OA许可证
Niels F.W.Voorneveld。

交错代数效果的跑步者。 （英语） Zbl 07719845号

Seidl，Helmut（编辑）等人，《计算的理论方面——ICTAC 2022》。第19届国际学术讨论会，格鲁吉亚第比利斯，2022年9月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13572, 407-424 (2022).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.F.W.Voorneveld}，莱克特。注释计算。科学。13572，407--424（2022；Zbl 07719845）
全文： 内政部
宋亚辉;大流士·富;魏恩根·钦

代数效应的自动时间验证。 （英语） Zbl 1524.68103号

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 88-109 (2022).
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Song}等人，Lect。注释计算。科学。13658、88-109（2022年；Zbl 1524.68103）
全文： 内政部 链接
英戈·布莱希施密特;彼得·舒斯特

可数环中的极大理想，构造性地。 （英语） Zbl 1524.13008号

Berger，Ulrich（编辑）等人，《可计算性的革命与启示》。2022年7月11日至15日，英国斯旺西，2022年欧洲可计算性第18次会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13359, 24-38 (2022).
审核人：亚历山大·莱文（华盛顿特区）
MSC公司：13甲15 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{I.Blechschmidt}和\textit{P.Schuster}，莱克特。注释计算。科学。13359，24-38（2022年；兹比尔1524.13008）
全文： 内政部 arXiv公司
弗里茨·亨利恩;罗宾·卡斯加德;米克尔·克拉·马西森

代数：可逆性的代数方法。 （英语） Zbl 07615946号

Mezzina、Claudio Antares（编辑）等，《可逆计算》。第14届国际会议，RC 2022，意大利乌尔比诺，2022年7月5-6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13354, 128-145 (2022).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{F.Henglein}等人，Lect。注释计算。科学。13354，128--145（2022；Zbl 07615946）
全文： 内政部
扬尼克·福斯特

参数丘奇的论文：无选择的综合可计算性。 （英语） Zbl 07551712号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 70-89 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\发短信{Y.福斯特}，勒克特。注释计算。科学。13137，70-89（2022；Zbl 07551712）
全文： 内政部 arXiv公司
安德烈·鲍尔;佩特科维奇·科梅尔（Anja PetkovićKomel）

一种用于依赖类型理论的可扩展等式检查算法。 （英语） 兹比尔1504.68276

日志。方法计算。科学。 18，第1号，第17号论文，42页（2022年）.
MSC公司：第68卷第15页 03B38型
PDF格式BibTeX公司 XML格式引用
\textit{A.Bauer}和\textit{A.PetkovićKomel}，日志。方法计算。科学。18，第1号，第17号论文，42页（2022年；Zbl 1504.68276）
全文： arXiv公司 链接
都铎Jebelean

用于元素分析的启发式证明程序枣灰蝶属. （英语） Zbl 1485.68284号

Kamaredine，Fairouz（编辑）等人，《智能计算机数学》。2021年7月26日至31日，第14届国际会议，CICM 2021，罗马尼亚蒂米索阿拉。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12833, 130-134 (2021).
MSC公司：第68卷第15页 26-01 68T20型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Jebelean}，莱克特。注释计算。科学。12833，130-134（2021；Zbl 1485.68284）
全文： 内政部
卡斯滕·施耐德

符号求和的项代数、标准表示和差环理论。 （英语） Zbl 1484.81078号

Bluemlein，Johannes（编辑）等人，《反微分和费曼振幅的计算》。根据2020年10月在德国泽乌森举行的会议上的发言选出的论文。查姆：斯普林格。文本单声道。符号。计算。，423-485 (2021).
MSC公司：81T18型 81伏05 68瓦30 65B10型 2016年11月
PDF格式BibTeX公司 XML格式引用
\textit{C.Schneider}，in：反微分和费曼振幅的计算。根据2020年10月在德国泽乌森举行的会议上的发言选出的论文。查姆：斯普林格。423——485（2021；Zbl 1484.81078）
全文： 内政部 arXiv公司
谢尔盖·阿布拉莫夫。;曼纽尔·布朗斯坦;马尔科·佩特科夫舍克;卡斯滕·施耐德

关于\（\Pi\Sigma^\ast\）-域扩展中线性常微分方程的有理解和超几何解。 （英语） Zbl 1483.12005年

J.塞姆。计算。 107, 23-66 (2021).
审核人：Christoph Koutschen（林茨）
MSC公司：12个H10 39A06号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{S.A.Abramov}等人，J.Symb。计算。107、23-66（2021年；Zbl 1483.12005年）
全文： 内政部 arXiv公司
林东铉;马丁·齐格勒

紧度量空间的定量编码和复杂性理论。 （英语） Zbl 07633509号

Anselmo，Marcella（编辑）等人，《超越可计算性的视野》。第十六届欧洲可计算性会议，CiE 2020，意大利费西亚诺，2020年6月29日至7月3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12098, 205-214 (2020).
MSC公司：第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Lim}和\textit{M.Ziegler}，莱克特。注释计算。科学。12098、205-214（2020；Zbl 07633509）
全文： 内政部
丹尼尔·艾哈曼;安德烈·鲍尔

跑步者在行动。 （英语） Zbl 1508.68050号

Müller，Peter（编辑），《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会（ESOP 2020），是欧洲软件理论与实践联合会议（ETAPS 2020）的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12075, 29-55 (2020).
MSC公司：68号30 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.Ahman}和\textit{A.Bauer}，莱克特。注释计算。科学。12075，29-55（2020；Zbl 1508.68050）
全文： 内政部 arXiv公司
OA许可证
安妮·巴南;沃特·斯威斯特拉

将谓词转换器语义用于效果的组合：解析正则语言的一个案例研究。 （英语） Zbl 1511.68050号

New，Max S.（编辑）等人，《数学结构函数编程第八次研讨会论文集》，MSFP 2020，爱尔兰都柏林，2020年4月25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）31739-56（2020年）。
MSC公司：68甲18 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛A.Baanen｝和\textit｛W.Swierstra｝，电子。程序。西奥。计算。科学。（EPTCS）317，39-56（2020；Zbl 1511.68050）
全文： arXiv公司 链接
赫尔穆特·塞德尔;朱利安·埃哈德;拉尔夫·沃格勒

增量抽象解释。 （英语） Zbl 1440.68047号

Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12065, 132-148 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Seidl}等人，Lect。注释计算。科学。12065、132--148（2020；Zbl 1440.68047）
全文： 内政部
拉尔斯·比克达尔;拉纳德·克鲁斯顿;巴赛尔·曼纳;拉斯穆斯·埃杰勒斯·莫格伯格;安德鲁·皮特斯（Andrew M.Pitts）。;溅出物，Bas

模态依赖型理论和依赖右邻接。 （英语） Zbl 1479.03011号

数学。结构。计算。科学。 30，第2期，118-138（2020年）.
MSC公司：03B38型 03B40型 03B45号 18A40型
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，数学。结构。计算。科学。30，第2号，118--138（2020；Zbl 1479.03011）
全文： 内政部 arXiv公司
扬尼克·福斯特;费边·昆泽

从Coq到按调用值lambda演算的有时间限制的认证提取。 （英语） Zbl 07649966号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第17条，第19页（2019年）。
MSC公司：第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Forster}和\textit{F.Kunze}，LIPIcs——莱布尼茨国际程序。通知。141，第17条，第19页（2019年；Zbl 07649966）
全文： 内政部 arXiv公司
上村，太极

立方体集合，一个单价的、无效的宇宙，以及命题大小调整的失败。 （英语） 兹比尔1528.03114

Dybjer，Peter（编辑）等人，第24届国际校样和程序类型会议，2018年types 2018，葡萄牙布拉加，2018年6月18-21日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。130，第7条，第20页（2019年）。
MSC公司：03B38型 03G30型 18号40 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{T.Uemura}，LIPIcs——莱布尼茨国际程序。通知。130，第7条，第20页（2019年；Zbl 1528.03114）
全文： 内政部 arXiv公司
乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽

无反射扩展等式的立方语法。 （英语） Zbl 1528.03113号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第31条，第25页（2019年）。
MSC公司：03B38型 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{J.Sterling}等人，LIPIcs——莱布尼茨国际程序。通知。131，第31条，第25页（2019年；Zbl 1528.03113）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪

数学普遍主义和同伦类型理论。 （英语） Zbl 1469.03035号

Centrone，Stefania（编辑）等人，《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼（Villa Vigoni）的德国-意大利欧洲卓越中心（German-Italian Centre for European Excellence）举行的洪堡-科尔勒格（Humboldt-Kolleg）“作为数学普适性的证明理论”。查姆：斯普林格。合成。伦敦银行同业拆借利率。412, 13-36 (2019).
MSC公司：03B38型 55单位40
PDF格式BibTeX公司 XML格式引用
\textit｛S.Awodey｝，合成。伦敦银行同业拆借利率。412、13-36（2019年；Zbl 1469.03035）
全文： 内政部
朱利娅·弗罗索尼;朱塞佩·罗索里尼;阿莱西奥·桑塔马利亚

双幂单子的框架和拓扑代数。 （英语） Zbl 1440.18007号

J.日志。分析。 11，论文编号FT5，21 p.（2019）.
审核人：豪尔赫·皮卡多（科英布拉）
MSC公司：18立方厘米 18日第15天 18英尺70英寸 2012年2月6日 54B30型
PDF格式BibTeX公司 XML格式引用
\textit｛G.Frosoni｝等人，J.日志。分析。11，论文编号FT5，21 p.（2019；Zbl 1440.18007）
全文： 链接
奥哈德·卡玛;迪伦·麦克德莫特

类型和效果系统语义中逻辑关系的分解系统和单数提升。 （英语） 兹比尔1527.68041

Staton，Sam（编辑），第34届编程语义数学基础会议论文集（MFPS XXXIV），加拿大哈利法克斯达尔豪西大学，2018年6月6日至9日。阿姆斯特丹：爱思唯尔。电子。理论注释。计算。科学。341, 239-260 (2018).
MSC公司：68号30 18A32飞机 18立方厘米 18 C50 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{O.Kammar}和\textit{D.McDermott}，电子。理论注释。计算。科学。341239--260（2018；Zbl 1527.68041）
全文： 内政部 arXiv公司
托马斯·莱坦;雷吉斯·贾纳斯，亚恩;皮埃尔·奇夫利埃;纪尧姆·希特

Coq中带有效果和效果处理程序的程序的模块化验证。 （英语） Zbl 1460.68062号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行的2018年第22届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 338-354 (2018).
MSC公司：60年第68季度 第68卷第15页
PDF格式BibTeX公司 XML格式引用
\textit{T.Letan}等人，Lect。注释计算。科学。10951、338--354（2018；Zbl 1460.68062）
全文： 内政部 哈尔
迈克尔·舒尔曼

实内聚同伦类型理论中的Brouwer不动点定理。 （英语） Zbl 1390.03014号

数学。结构。计算。科学。 28，第6号，856-941（2018）.
审核人：Ittay Weiss（朴茨茅斯）
MSC公司：03年11月15日 03G30型 55单位40 55平方米 03B60号
PDF格式BibTeX公司 XML格式引用
\textit{M.Shulman}，数学。结构。计算。科学。28，第6号，856--941（2018；Zbl 1390.03014）
全文： 内政部 arXiv公司
反向链接： 卫生官员

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件