×

找到133个文档（结果1-100）

最新的 引文 关联
帕特里夏·约翰;皮埃尔·卡涅

描述可在GADT上映射的功能。 （英语） 兹比尔1524.68200

谢尔盖，伊利亚（编辑），《编程语言和系统》。第20届亚洲研讨会，APLAS 2022，新西兰奥克兰，2022年12月5日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13658, 135-154 (2022).
MSC公司：68问题65 18 C50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Johann}和\textit{P.Cagne}，莱克特。注释计算。科学。13658、135——154（2022年；Zbl 1524.68200）
全文： 内政部
Jan A.Bergstra。;约翰·V·塔克。

作为抽象数据类型的有理数轮子。 （英语） Zbl 07415131号

Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 13-30 (2021).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Bergstra}和textit{J.V.Tucker}，莱克特。注释计算。科学。12669，13-30（2021；Zbl 07415131）
全文： 内政部 链接
阿巴斯·埃达拉特;阿明·法朱迪安;米纳州穆罕默德扬;德克·帕丁森

求解初值问题的区域理论二阶欧拉方法。 （英语） Zbl 07516373号

Johann，Patricia（编辑），第36届编程语义数学基础会议论文集，MFPS XXXVI，虚拟会议，2020年6月2日至6日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。352, 105-128 (2020).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Edalat}等人，《电子》。注释Theor。计算。科学。352、105-128（2020；Zbl 07516373）
全文： 内政部
阿达梅克，吉安尼;斯特凡·米利厄斯;劳伦斯·莫斯。

关于基础良好的递归余代数。 （英语） Zbl 1455.18001号

Goubault-Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 17-36 (2020).
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：18甲15 18 C50 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Adámek}等人，Lect。注释计算。科学。12077，17-36（2020；Zbl 1455.18001）
全文： 内政部 arXiv公司
OA许可证
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西

通过高阶表示对单子进行模块化规范。 （英语） Zbl 07559272号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第6条，第19页（2019年）。
MSC公司：68倍 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛B.Ahrens｝等人，LIPIcs——莱布尼茨国际期刊。通知。131，第6条，第19页（2019年；Zbl 07559272）
全文： 内政部 arXiv公司
徐玉明;徐立东;克劳德特·凯罗尔

具有联合可接受性的基于扩展的论证语义的结构分析。 （英语） Zbl 07229663号

廖北水（编辑）等，《动力学、不确定性和推理》。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。日志。亚洲：研究日志。伦敦银行同业拆借利率。，1-20 (2019).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Xu}等人，in：动力学、不确定性和推理。第二届中国逻辑与论证会议论文集（CLAR 2018），中国杭州，2018年6月16-17日。新加坡：斯普林格。1-20（2019；Zbl 07229663）
全文： 内政部
阿伦斯，贝内迪克特;安德烈·赫肖维茨;安布罗斯·拉丰;马可·马格西

高级签名和初始语义。 （英语） Zbl 07533329号

Ghica，Dan R.（ed.）等人，第27届EACSL计算机科学逻辑年会，CSL 2018，英国伯明翰，2018年9月4日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。119，第4条，22页（2018年）。
MSC公司：68问题65 03B70号 18立方厘米 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛B.Ahrens｝等人，LIPIcs——莱布尼茨国际期刊。通知。119，第4条，22 p.（2018；Zbl 07533329）
全文： 内政部
尼尔·加尼;康纳·麦克布莱德;弗雷德里克·诺德瓦尔·福斯伯格;斯蒂芬·斯潘

归纳递归定义的变化。 （英语） Zbl 1445.03010号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第63条，第13页（2017年）。
MSC公司：03B38型 03B70号 18立方厘米 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{N.Ghani}等人，LIPIcs——莱布尼茨国际程序。通知。83，第63条，第13页（2017年；Zbl 1445.03010）
全文： 内政部
罗伊·戴克霍夫

自Gentzen以来的直觉决策程序。 （英语） Zbl 1439.03096号

Kahle，Reinhard（编辑）等人，《证明理论的进展》。2013年12月13日至14日，在Gerhard Jäger 60岁生日之际，瑞士伯尔尼，研讨会记录。巴塞尔：Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 245-267 (2016).
MSC公司：03财年03 03B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Dyckhoff}，程序。计算。科学。申请。日志。28245--267（2016；Zbl 1439.03096）
全文： 内政部 链接
何塞·梅塞盖尔

初始代数中基于变量的可满足性。 （英语） Zbl 1396.68074号

Artho，Cyrille（编辑）等人，《安全关键系统的形式化技术》。2015年11月6日至7日在法国巴黎举行的FTSCS第四届国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-29509-1/pbk；978-3-3169-29510-7/电子书）。《计算机与信息科学通信》596，3-34（2016）。
MSC公司：68问题65 18立方厘米 2012年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.Meseguer}，Commun（公共）。计算。信息科学。596、3--34（2016；Zbl 1396.68074）
全文： 内政部
斯蒂芬·斯基里克;何塞·梅塞盖尔

变量可满足性的元级算法。 （英语） Zbl 1367.68256号

Lucanu，Dorel（编辑），重写逻辑及其应用。2016年4月2日至3日，第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-44801-5/pbk；978-3-3169-44802-2/电子书）。计算机科学讲义9942，167-184（2016）。
MSC公司：68吨15 18立方厘米 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Skeirik}和\textit{J.Meseguer}，莱克特。注释计算。科学。9942，167--184（2016；Zbl 1367.68256）
全文： 内政部 链接
杰罗姆·福蒂埃;路易吉·桑托卡纳莱

循环证明的剪切：语义和剪切消除。 （英语） Zbl 1356.03098号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-0-6）。LIPIcs–莱布尼茨国际信息学论文集23，248-262（2013）。
MSC公司：03财年03 05年3月 07年3月 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{J.Fortier}和\textit{L.Santocanale}，LIPIcs——莱布尼茨国际程序。通知。23、248--262（2013；Zbl 1356.03098）
全文： 内政部
马塞洛·菲奥雷;德文萨·坎波斯（Devesas Campos，Marco）

有向无环图的代数。 （英语） 兹比尔1264.18005

Coecke，Bob（编辑）等人，《计算、逻辑、游戏和量子基础》。萨姆森·阿布拉姆斯基的许多方面。纪念萨姆森·阿布拉姆斯基60岁生日的文章。柏林：施普林格出版社（ISBN 978-3-642-38163-8/pbk）。计算机科学课堂讲稿7860，37-51（2013）。
MSC公司：18 C50 05C20号 2016年第05期 18立方厘米 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}和\textit{M.Devesas Campos}，莱克特。注释计算。科学。7860，37-51（2013；Zbl 1264.18005）
全文： 内政部 arXiv公司
史蒂夫·阿沃迪;尼古拉·甘比诺;克里斯蒂娜·索贾科娃

同伦类型理论中的归纳类型。 （英语） Zbl 1364.03014号

2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。95-104 (2012).
MSC公司：03B15号机组 03G30型 18立方厘米 55 u40 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{S.Awodey}et al.，in：2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集，LICS 2012，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。95-104（2012；Zbl 1364.03014）
全文： 内政部 arXiv公司
哈拉尔德·科尼格;勒韦，迈克尔;克里斯托夫·舒尔茨

模型转换和诱导实例迁移：通用框架。 （英语） Zbl 1349.68050号

Simao，Adenilso（编辑）等，《形式方法、基础和应用》。2011年9月26日至30日，巴西圣保罗，第14届巴西研讨会，SBMF 2011。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-25031-6/pbk）。计算机科学课堂讲稿7021，1-15（2011）。
MSC公司：68号30 68第05页 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.König}等人，Lect。注释计算。科学。7021，1-15（2011；Zbl 1349.68050）
全文： 内政部
拉尔夫·欣泽

类型融合。 （英语） Zbl 1308.68041号

Johnson，Michael（编辑）等人，《代数方法论和软件技术》。2010年6月23日至25日，加拿大魁北克省Lac-Beauport，AMAST 2010，第13届国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17795-8/pbk）。《计算机科学讲义》6486192-110（2011）。
MSC公司：68号30 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}，莱克特。注释计算。科学。6486、92--110（2011年；Zbl 1308.68041）
全文： 内政部
拉尔夫·欣泽

伴随着折叠和展开。或者：在形态的丛林中穿梭。 （英语） Zbl 1286.68080号

Bolduc，Claude（编辑）等人，《程序构造的数学》。2010年6月21日至23日，加拿大魁北克市，2010年MPC第十届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13320-6/pbk）。计算机科学讲稿6120，195-228（2010）。
MSC公司：68号30 18个40 18立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Hinze}，莱克特。注释计算。科学。6120、195--228（2010年；Zbl 1286.68080）
全文： 内政部
斯特凡·米利厄斯;托尔斯滕·帕尔姆;丹尼尔·施文克

具有效应的代数的完全迭代性。 （英语） Zbl 1239.68046号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿572834-48（2009）。
MSC公司：68问题65 18立方厘米 18个C20 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，Lect。注释计算。科学。5728、34-48（2009年；Zbl 1239.68046）
全文： 内政部
帕特里夏·约翰;尼尔·加尼

GADT结构化编程基础。 （英语） Zbl 1295.68151号

第35届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。297-308 (2008).
MSC公司：68问题55 68问题65 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Johann}和\textit{N.Ghani}，摘自：第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机协会（ACM）。297--308（2008年；Zbl 1295.68151）
全文： 内政部 链接
力量，约翰

抽象语法：替换和绑定。 （英语） Zbl 1316.68035号

Fiore，Marcelo（编辑），第23届编程语义数学基础会议论文集（MFPS XXIII），美国洛杉矶新奥尔良，2007年4月11-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记173，3-16（2007）。
MSC公司：68甲15 03B40型 18立方厘米 18日第10天 68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}，电子。注释Theor。计算。科学。173、3--16（2007年；Zbl 1316.68035）
全文： 内政部
OA许可证
彼得·阿策尔

语义学讲座：最初的代数和最后的代数观点。 （英语） Zbl 0882.68086号

Schwichtenberg，Helmut（编辑），《计算逻辑》。北约ASI会议记录。德国马克托伯多夫。1995年7月25日至8月6日。柏林：斯普林格。北约ASI系列。，序列号。F、 计算。系统。科学。157，1-33（1997年）。
MSC公司：68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.Aczel}，北约ASI Ser。，序列号。F、 计算。系统。科学。157，1-33（1997；Zbl 0882.68086）
普罗特金，戈登;马丁·阿巴迪

参数多态性的逻辑。 （英语） Zbl 0788.68091号

Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 361-375 (1993).
MSC公司：68问题55 03B40型 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Plotkin}和\textit{M.Abadi}，莱克特。注释计算。科学。664361-375（1993年；Zbl 0788.68091）
O.A.伊莱切娃。

带否定的逻辑规范的初始语义。 （英语。俄文原件） Zbl 0875.68242号

赛博。系统。分析。 28，第4期，498-503（1992）; 翻译自Kibern。修女。分析。1992年，第4期，13-19（1992）。
MSC公司：68N17号 60年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\文本{O.A.Il’icheva}，Cybern。系统。分析。28，第4号，498--503（1992；Zbl 0875.68242）；翻译自Kibern。修女。分析。1992年，第4期，第13--19期（1992年）
全文： 内政部
约瑟夫·戈根（Joseph A.Goguen）。;何塞·梅塞盖尔

有序代数。一： 多重继承、重载、异常和部分操作的等式推导。 （英语） Zbl 0778.68056号

西奥。计算。科学。 105，第2期，217-273（1992）。
审核人：S.Bloom（霍博肯）
MSC公司：68问题55 08A70号 99年6月
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Goguen}和\textit{J.Meseguer}，Theor。计算。科学。105，第2号，217--273（1992；Zbl 0778.68056）
全文： 内政部
医学博士Smyth。

I-范畴和二元性。 （英语） 兹比尔0792.18006

Fourman，M.P.（编辑）等人，《类别在计算机科学中的应用》。1991年7月20日至30日在英国达勒姆大学举行的LMS研讨会论文集。剑桥：剑桥大学出版社。伦敦。数学。Soc.勒克特。注释序列。177, 270-287 (1992).
MSC公司：18B35型 68问题55 06B35号
PDF格式BibTeX公司 XML格式引用
\textit{M.B.Smyth}，伦敦。数学。Soc.勒克特。注释序列。177、270--287（1992年；Zbl 0792.18006）
Meinke，K。

抽象类型和组合子的等式规范。 （英语） Zbl 0783.03039号

Börger，Egon（编辑）等人，《计算机科学逻辑》。1991年10月7日至11日，瑞士伯尔尼CSL’91第五次研讨会。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。626, 257-271 (1992).
审核人：N.Curteanu（伊阿西）
MSC公司：03G30型 68问题65 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{K.Meinke}，莱克特。注释计算。科学。626257--271（1992；Zbl 0783.03039）
杰·巴里

通用不变量的尾部递归。 （英语） Zbl 0792.68093号

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。第四届两年一度的夏季会议，1991年9月3日至6日，法国巴黎。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。530, 151-163 (1991).
MSC公司：68问题55 18A30型 68第05页 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Jay}，莱克特。注释计算。科学。530151-163（1991年；Zbl 0792.68093）
阿巴斯·埃达拉特;迈克尔·史密斯。

信息系统的类别。 （英语） Zbl 0788.18003号

大卫·H·皮特（编辑）等人，《范畴理论与计算机科学》。第四届两年一度的夏季会议，1991年9月3日至6日，法国巴黎。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。530, 37-52 (1991).
MSC公司：18立方厘米 68问题55 06B35号
PDF格式BibTeX公司 XML格式引用
\textit{A.Edalat}和\textit{M.B.Smyth}，莱克特。注释计算。科学。53037--52（1991年；Zbl 0788.18003）
梅因，M。（编辑）;梅尔顿，A。（编辑）;Mislove，M。（编辑）;施密特，D。（编辑）

编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。 （英语） Zbl 0751.68005号

计算机科学课堂讲稿442.柏林等：斯普林格·弗拉格。六、 第439页（1990年）。
审核人：E.P.de Vink公司
MSC公司：68-06 68号30 68问题55 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Main}（ed.）等人，编程语义的数学基础。第五届国际会议，1989年3月29日至4月1日，美国路易斯安那州新奥尔良。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0751.68005）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件