×

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

最新的 引文 关联
布里杰什·多戈尔;伊恩·海耶斯。;乔治·斯特鲁斯

卷积作为一个统一的概念：在分离逻辑、区间计算和并发中的应用。 （英语） Zbl 1367.68210号

ACM事务处理。计算。日志。 17，第3号，第15条，第25页（2016年）.
MSC公司：68问题85 03B70号 07年6月 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，ACM Trans。计算。日志。17，第3号，第15条，第25页（2016；Zbl 1367.68210）
全文： 内政部
布里杰什·多戈尔;伊恩·海耶斯。;拉里萨·梅尼克;金·索林

面向实时程序的代数。 （英语） Zbl 1364.68135号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，50-65（2012）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{B.Dongol}等人，Lect。注释计算。科学。7560，50-65（2012；Zbl 1364.68135）
全文： 内政部
沃尔特·古特曼

统一懒惰和严格的计算。 （英语） Zbl 1330.68074号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560，17-32（2012）。
MSC公司：2005年第68季度 68号30 60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{W.Guttmann}，莱克特。注释计算。科学。7560，17-32（2012；Zbl 1330.68074）
全文： 内政部
彼得·霍夫纳

混合系统的自动推理——两个案例研究。 （英语） Zbl 1138.68526号

Berghammer，Rudolf（编辑）等人，《计算机科学中的关系和Kleene代数》。第十届计算机科学关系方法国际会议和第五届克莱恩代数应用国际会议，2008年4月7日至11日，德国弗劳恩沃思，RelMiCS/AKA 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78912-3/pbk）。计算机科学课堂讲稿4988191-205（2008）。
MSC公司：68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Höfner}，莱克特。注释计算。科学。4988、191--205（2008年；Zbl 1138.68526）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件