×

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

最新的 引文 关联
帕特里克·库索特

图形的抽象解释。 （英语） Zbl 1529.68201号

Lopez-Garcia，Pedro（ed.）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13160, 72-96 (2023).
MSC公司：68兰特 05立方38 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}，莱克特。票据计算。科学。13160，72-96（2023年；兹比尔1529.68201）
全文： 内政部
马克西姆·博尔廷

分治规范实现的综合。 （英语） Zbl 1528.68210号

Lima，Lucas（编辑）等人，《形式方法：基础和应用》。第25届巴西研讨会，SBMF 2022，虚拟活动，2022年12月6日至9日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13768, 73-88 (2022).
MSC公司：60年第68季度 05B35号
PDF格式BibTeX公司 XML格式引用
\textit{M.Bortin}，莱克特。票据计算。科学。13768、73-88（2022年；Zbl 1528.68210）
全文： 内政部
罗兰·巴克豪斯；亨克·多恩博斯；罗兰·格里克；雅普·范德沃德

图的成分和非循环性。精确与简洁相结合的练习。 （英语） Zbl 1481.68034号

J.日志。阿尔盖布。方法计划。 124，文章ID 100730，47 p.（2022）.
审核人：Shen Zhizhang（普利茅斯）
MSC公司：68兰特 05C25号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{R.Backhouse}等人，J.Log。阿尔盖布。方法程序。124，文章ID 100730，47 p.（2022；Zbl 1481.68034）
全文： 内政部
曼努埃拉·盖伊；查韦斯，埃德加；马科斯·冈萨莱斯·拉菲特；阿利泽尔·洛佩斯·桑切斯；Bärbel M.R.斯塔德勒。；杜尔塞·瓦尔迪维亚。；马克·赫尔穆特；玛丽贝尔·埃尔南德斯·罗萨莱斯；彼得·斯塔德勒。

最佳匹配图。 （英语） 兹比尔1415.92133

数学杂志。生物。 78，编号7，2015-2057（2019）; 更正同上，第82号，第6号，第47号文件，第9页（2021年）。
MSC公司：92D15型 92D10型 05C90年
PDF格式BibTeX公司 XML格式引用
\textit{M.Geiß}等人，《数学杂志》。生物学78，第7期，2015--2057（2019；Zbl 1415.92133）
全文： 内政部 arXiv公司
崔维斯·盖吉；何孟；冈萨洛·纳瓦罗

树路径多数数据结构。 （英语） Zbl 07561422号

徐文莲（编辑）等，第29届算法与计算国际研讨会，2018年12月16日至19日，2018年国际算法与计算学会，台湾宜兰胶西。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。123，第68条，第12页（2018年）。
MSC公司：68第05页 05二氧化碳 05立方38
PDF格式BibTeX公司 XML格式引用
\textit{T.Gagie}等人，LIPIcs——莱布尼茨国际程序。通知。123，第68条，第12页（2018；兹bl 07561422）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼；加尔瓦尔迪

流程逻辑。 （英语） Zbl 1442.03015号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第9条，第18页（2017年）。
MSC公司：03B70号 03B44号 05C21号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{G.Vardi}，LIPIcs——莱布尼茨国际程序。通知。85，第9条，第18页（2017；Zbl 1442.03015）
全文： 内政部
费雷拉，若昂·费雷拉。；亚历山大·门德斯

通过矩阵代数计算Eisenstein-Stern和Stern-Brocot树的基于路径的属性。 （英语） Zbl 1366.05025号

J.日志。阿尔盖布。方法计划。 85，第5号，第2部分，906-920（2016）.
MSC公司：05二氧化碳 11A05号
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Ferreira}和\textit{A.Mendes}，J.Log。阿尔盖布。方法程序。85，第5号，第2部分，906--920（2016年；Zbl 1366.05025）
全文： 内政部
鲁道夫·伯格哈默；塞巴斯蒂安·费舍尔

简单的基于矩形的函数程序，用于计算自反传递闭包。 （英语） Zbl 1330.68044号

Kahl，Wolfram（编辑）等人，《计算机科学中的关系和代数方法》。2012年9月17日至20日在英国剑桥举行的2012年RAMiCS第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33313-2/pbk）。计算机科学课堂讲稿7560114-129（2012）。
MSC公司：68甲18 03G15年 05C20号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{R.Berghammer}和\textit{S.Fischer}，莱克特。票据计算。科学。7560114-129（2012年；Zbl 1330.68044）
全文： 内政部
伊祖米、大辅；玛丽亚·格拉迪纳里奥·波托普·布图卡鲁；马修·瓦莱罗

虚拟树覆盖中的物理扩展器。 （英语） 兹比尔1350.68280

Peleg，David（编辑），《分布式计算》。第25届国际研讨会，2011年DISC，2011年9月20日至22日，意大利罗马。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24099-7/pbk）。计算机科学课堂讲稿6950，82-96（2011）。
MSC公司：68宽15 05C80号 05C85号 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Izumi}等人，Lect。票据计算。科学。6950，82-96（2011；Zbl 1350.68280）
全文： 内政部 arXiv公司
弗朗西斯科·阿尔巴西尼。；北萨巴迪尼。；R.F.C.沃尔特斯。

马尔可夫过程的组合结构。二、。 （英语） Zbl 1216.18005号

西奥·雷罗。通知。申请。 45，第1期，117-142（2011）.
MSC公司：18B20型 60J10型 18日第10天 05C22号 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.de Francesco Albasini}等人，RAIRO，Theor。通知。申请。45，第1号，117--142（2011；Zbl 1216.18005）
全文： 内政部 arXiv公司 欧洲DML
王昌晶；薛、缙云

形式化推导一个高可信的通用算法程序，用于解决一类路径问题。 （英语） Zbl 1248.68545号

邓晓铁（编辑）等，算法前沿。第三届国际研讨会，2009年6月20日至23日，中国合肥，一汽2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02269-2/pbk）。计算机科学课堂讲稿5598，27-39（2009）。
MSC公司：68周05 05立方38 68号30
PDF格式BibTeX公司 XML格式引用
\textit{C.Wang}和\textit{J.Xue}，Lect。票据计算。科学。5598，27-39（2009；Zbl 1248.68545）
全文： 内政部
克劳迪娅·埃尔梅尔；哈特穆特·埃里格

行为保护模拟到动画模型和规则转换。 （英语） Zbl 1283.68183号

König，Barbara（ed.）等人，第三届并发和验证图转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，55-74页（2008年）。
MSC公司：第68季度第42季度 05C62号
PDF格式BibTeX公司 XML格式引用
\textit{C.Ermel}和\textit{H.Ehrig}，电子。注释Theor。计算。科学。213，编号1，55--74（2008；Zbl 1283.68183）
全文： 内政部
Steffen，马扎内克；索尼娅·迈尔；马克·米纳斯

一种基于超边替换文法的超图补全算法。 （英语） Zbl 1175.68228号

Ehrig，Hartmut（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，39-53（2008）。
MSC公司：第68季度第42季度 05C65号 05C85号
PDF格式BibTeX公司 XML格式引用
\textit｛S.Mazanek｝等人，Lect。票据计算。科学。5214、39-53（2008年；Zbl 1175.68228）
全文： 内政部
权力，约翰；康斯坦蒂诺斯·图拉斯

计算中基于图形的图表的代数基础。 （英语） Zbl 1260.68114号

Brooks，Stephen（编辑）等人，MFPS 2001。2001年5月23日至26日在丹麦奥胡斯奥胡斯大学举行的第17届编程语义数学基础会议上发表的论文。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记45，346-357（2001）。
MSC公司：68号30 60年第68季度 05C65号 18A10号
PDF格式BibTeX公司 XML格式引用
\textit{J.Power}和\textit{K.Tourlas}，电子。注释Theor。计算。科学。45、346--357（2001年；Zbl 1260.68114）
全文： 内政部
尤尔根·埃伯特；安吉丽卡·弗兰兹克

基于图形建模的声明性方法。 （英语） 兹比尔1528.05067

Mayr，Ernst W.（编辑）等人，《计算机科学中的图论概念》。第20届国际研讨会。1994年6月16日至18日，德国赫尔兴，1994年工作组。诉讼程序。柏林：Springer-Verlag。莱克特。票据计算。科学。903, 38-50 (1995).
MSC公司：05C90年
PDF格式BibTeX公司 XML格式引用
\textit{J.Ebert}和\textit{A.Franzke}，莱克特。票据计算。科学。903、38--50（1995年；Zbl 1528.05067）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件