×

找到23个文档（结果1–23）

最新的 引文 关联
马蒂奥·奇米尼

Lang-n-Send公司扩展：向监视器发送正则表达式。 （英语） Zbl 07811914号

Aubert，Clément（ed.）等人，第15届交互和并发体验研讨会论文集，ICE 2022，意大利卢卡，2022年6月17日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）365、69-84（2022）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}，电子。程序。西奥。计算。科学。（EPTCS）365、69--84（2022；Zbl 07811914）
全文： 内政部 arXiv公司
约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;韦伯，特贾克

标称过渡系统的模态逻辑。 （英语） Zbl 1509.68188号

日志。方法计算。科学。 17，第1号，第6号文件，第49页（2021）.
MSC公司：68问题85 03B45号 03B70号 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Parrow}等人，Log。方法计算。科学。17，第1号，第6号论文，49页（2021；Zbl 1509.68188）
全文： arXiv公司 链接
佩德罗·安吉洛;马里奥弗洛里多

秩2渐变交集类型的类型推断。 （英语） Zbl 1503.68035号

Bowman，William J.（编辑）等人，《函数编程趋势》。第20届国际研讨会，TFP 2019，加拿大不列颠哥伦比亚省温哥华，2019年6月12-14日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12053, 84-120 (2020).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.ngelo}和textit{M.Florido}，莱克特。注释计算。科学。12053、84-120（2020；Zbl 1503.68035）
全文： 内政部
卡拉·拉米雷斯·普利多;奥尔特加·阿尔乔纳，豪尔赫·路易斯;德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德

使用带有记录的联合键入的渐进键入。 （英语） Zbl 07516367号

Pozos-Parra，Pilar（编辑）等人，《第十一届和第十二届拉丁美洲逻辑/语言、算法和新推理方法研讨会论文集》，LANMR，墨西哥普埃布拉，2018年11月15日和2019年11月十五日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。354, 171-186 (2020).
MSC公司：68T27型
PDF格式BibTeX公司 XML格式引用
\textit{K.R.Pulido}等人，《电子》。注释Theor。计算。科学。354171--186（2020；Zbl 07516367）
全文： 内政部
本杰明·穆拉德;马蒂奥·奇米尼

系统描述：lang-n-change–转换语言的工具。 （英语） Zbl 07368092号

Nakano，Keisuke（编辑）等人，《功能和逻辑编程》。第十五届国际研讨会，FLOPS 2020，日本秋田，2020年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12073, 198-214 (2020).
MSC公司：68N17号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{B.Mourad}和\textit{M.Cimini}，莱克特。注释计算。科学。12073，198--214（2020；Zbl 07368092）
全文： 内政部
塔里亚·林格;纳撒尼尔·亚兹达尼;约翰·利奥;丹·格罗斯曼

考克校样重复使用的装饰品。 （英语） Zbl 07649975号

Harrison，John（ed.）等人，第十届交互式定理证明国际会议，2019年9月9日至12日，美国俄勒冈州波特兰。会议记录。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。141，第26条，第19页（2019年）。
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{T.Ringer}等人，LIPIcs——莱布尼茨国际程序。通知。141，第26条，第19页（2019年；Zbl 07649975）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Ingólfsdóttir，安娜;尤兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） Zbl 1442.68119号

日志。方法计算。科学。 15，第4号，第2号论文，46页（2019年）.
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，日志。方法计算。科学。15，第4号，第2号论文，46页（2019年；Zbl 1442.68119）
全文： arXiv公司
新，Max S。;丹尼尔·李卡塔（Daniel R.Licata）。

叫名字渐变型理论。 （英语） Zbl 1462.68024号

Kirchner，Hélène（编辑），第三届计算和扣除正式结构国际会议，2018年7月9日至12日，英国牛津FSCD。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。108，第24条，第17页（2018年）。
MSC公司：68甲18 03立方厘米38 18立方厘米50 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.S.New}和\textit{D.R.Licata}，LIPIcs——莱布尼茨国际程序。通知。108，第24条，第17页（2018；Zbl 1462.68024）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Ingólfsdóttir，安娜;尤兰达奥尔特加购物中心

标称过程计算的规则格式。 （英语） 兹比尔1442.68120

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第10条，第16页（2017年）。
MSC公司：68问题85 03B70号 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，LIPIcs——莱布尼茨国际程序。通知。85，第10条，第16页（2017年；Zbl 1442.68120）
全文： 内政部 arXiv公司
杰里米·西克。;萨姆·托宾·霍施塔特

一些渐变类型的递归联合。 （英语） Zbl 1343.68049号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，388-410（2016）。
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Siek}和\textit{S.Tobin-Hochstadt}，莱克特。注释计算。科学。9600，388--410（2016；Zbl 1343.68049）
全文： 内政部
马蒂奥·奇米尼;穆罕默德雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。;默多克·J·加贝。

标称SOS。 （英语） Zbl 1342.68193号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286103-116（2012）。
MSC公司：68问题55 68甲18 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Cimini}等人，《电子》。注释Theor。计算。科学。286103--116（2012；Zbl 1342.68193）
全文： 内政部
卢卡·埃特罗;马蒂奥·奇米尼;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯（Michel A.Reniers）。

零元素和单位元素的规则格式。 （英语） Zbl 1342.68189号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265145-160（2010）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。注释Theor。计算。科学。265145-160（2010年；Zbl 1342.68189）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件