×

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

最新的 引文 关联
哈什·贝哈尔;芭芭拉·柯尼格;塞巴斯蒂安·库珀;米卡·米查尔斯基，克里斯蒂娜

副作用余代数的谓词和关系提升：余代数模态逻辑中的应用。 （英语） Zbl 07628064号

Hansen，Helle Hvid（编辑）等，《计算机科学中的协同代数方法》。第16届IFIP工作组1.3国际研讨会，CMCS 2022，与ETAPS 2022共同举办，德国慕尼黑，2022年4月2日至3日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13225, 1-22 (2022).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.Beohar}等人，Lect。注释计算。科学。13225，1--22（2022；Zbl 07628064）
全文： DOI程序 arXiv公司
安娜贝拉·麦克维尔;卡罗尔·摩根;塔希里·拉贝哈加

抽象隐马尔可夫模型：定量信息流的一元描述。 （英语） Zbl 1423.68107号

日志。方法计算。科学。 15，第1号，第36号论文，第50页（2019）.
MSC公司：68号30 60J20型 第68页 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.McIver}等人，日志。方法计算。科学。15，第1号，第36号论文，50页（2019年；Zbl 1423.68107）
全文： DOI程序 arXiv公司
克莱门斯·库普克

协代数逻辑与对偶。 （英语） Zbl 1520.03017号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP工作组1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 6-12 (2018).
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{C.Kupke}，莱克特。注释计算。科学。11202，6--12（2018；Zbl 1520.03017）
全文： DOI程序 哈尔
贝尔科娃，玛尔塔;马特·多斯塔尔

多值模态逻辑的表达性，组合逻辑。 （英语） Zbl 1478.03033号

Väänänen，Jouko（编辑）等人，《逻辑、语言、信息和计算》。2016年8月16日至19日在墨西哥普埃布拉举行的2016年WoLLIC第23届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9803, 109-124 (2016).
MSC公司：03B45号 03B50号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{M.Bílková}和\textit{M.Dostál}，莱克特。注释计算。科学。9803109-124（2016年；兹bl 1478.03033）
全文： DOI程序
弗雷德里克·达尔奎斯特

余代数完全性-via-非连续性。原理和应用。 （英语） Zbl 1476.03089号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 174-194 (2016).
MSC公司：03G30型 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{F.Dahlqvist}，莱克特。注释计算。科学。9608174-194（2016年；Zbl 1476.03089）
全文： DOI程序
朱利安·萨拉曼卡;马塞洛·邦桑格;朱里安·罗特

通过反变附加的方程和系数的对偶性。 （英语） Zbl 1475.18005号

Hasuo，Ichiro（编辑），计算机科学中的协代数方法。2016年4月2日至3日，第13届IFIP工作组1.3国际研讨会，CMCS 2016，与ETAPS 2016合办，荷兰埃因霍温。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9608, 73-93 (2016).
MSC公司：18二氧化碳
PDF格式BibTeX公司 XML格式引用
\textit{J.Salamanca}等人，Lect。注释计算。科学。9608，73-93（2016；Zbl 1475.18005）
全文： DOI程序 链接
达斯科·巴甫洛维奇;贝特弗里德·福泽

光滑余代数：测试向量分析。 （英语） Zbl 1387.18007号

数学。结构。计算。科学。 27，第7期，1195-1235（2017）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：18B20型 51K10码 58A32型 53Z05个
PDF格式BibTeX公司 XML格式引用
\textit｛D.Pavlovic｝和\textit｛B.Fauser｝，数学。结构。计算。科学。27，第7号，1195--1235（2015；Zbl 1387.18007）
全文： DOI程序 arXiv公司
陈良婷;阿希姆·荣格

关于余代数模态逻辑的范畴框架。 （英语） Zbl 1337.03091号

Jacobs，Bart（编辑）等人，《第30届编程语义数学基础会议论文集》（MFPS XXX），美国纽约州伊萨卡，2014年6月12日至15日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记308109-128，仅电子版（2014）。
MSC公司：03G30型 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.-T.Chen}和\textit{A.Jung}，电子。理论注释。计算。科学。308109-128（2014年；Zbl 1337.03091）
全文： DOI程序
托比·威尔金森

协同脑互模拟和模拟的表达特性。 （英语） Zbl 1343.03053号

Berger，Ulrich（编辑）等人，《第28届编程语义数学基础会议论文集》（MFPS XXVIII），英国巴斯，2012年6月6日至9日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记286，323-336（2012）。
MSC公司：03G30型 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.威尔金森}，电子。理论注释。计算。科学。286323-336（2012；Zbl 1343.03053）
全文： DOI程序
安娜·保拉·马尔多纳多;路易斯·蒙泰罗;马库斯·罗根巴赫

线性时间分支时间谱的双代数语义。 （英语） Zbl 1312.68128号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137209-225（2012）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Maldonado}等人，Lect。注释计算。科学。7137209-225（2012年；Zbl 1312.68128）
全文： DOI程序
克里斯托夫·舒伯特

可测空间上的协同代数逻辑：行为和逻辑等价。 （英语） Zbl 1342.68242号

Chen，Y.-X.（编辑）等，第五届领域理论国际研讨会论文集，中国上海，2009年9月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记257，71-85（2009）。
MSC公司：68问题85 03B45号 03G30型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.舒伯特}，电子。理论注释。计算。科学。257、71——85（2009年；Zbl 1342.68242）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段