×

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

最新的 引文 关联
Lucie Ciencialová;Luděk市Cienciala;埃兹贝特·苏哈伊·瓦尔朱

分布式反应系统的语言。 （英语） Zbl 07630822号

Durand-Lose，Jéróme（编辑）等人，《机器、计算和普遍性》。2022年8月31日至9月2日，第九届国际会议，MCU 2022，匈牙利德布勒森。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13419, 75-90 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{L.Ciencialová}等人，Lect。注释计算。科学。13419，75-90（2022；Zbl 07630822）
全文： 内政部
琳达·布罗多;罗伯托·布鲁尼;莫雷诺，法拉斯基;戈丽，罗伯塔;弗朗西丝卡·列维;保罗·米拉佐

利用SOS语义的模块性定义反应系统的定量扩展。 （英语） Zbl 1521.68055号

Aranha，Claus（编辑）等人，《自然计算的理论与实践》。第十届国际会议，TPNC 2021，日本筑波，2021年12月7日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13082, 15-32 (2021).
MSC公司：2007年第68季度 68N17号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Brodo}等人，Lect。注释计算。科学。13082，15--32（2021；Zbl 1521.68055）
全文： 内政部
亚伦·赖伊

通过表单因式分解和函子实现反应系统在范畴上的变换。 （英语） Zbl 1492.68050号

Gadducci，Fabio（编辑）等人，《图形变换》。2021年6月24日至25日，第14届国际会议，ICGT 2021，作为STAF 2021虚拟活动的一部分举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12741, 40-59 (2021).
MSC公司：2007年第68季度 18A32飞机 18B50型
PDF格式BibTeX公司 XML格式引用
\textit{A.Lye}，莱克特。注释计算。科学。12741，40-59（2021；Zbl 1492.68050）
全文： 内政部
萨萨·斯里拉姆;索姆纳特·贝拉;苏布拉曼尼亚语，K.G。

具有反应的P系统定义的某些状态序列。 （英语） Zbl 07437067号

Freund，Rudolf（编辑）等人，《膜计算》。第21届国际会议，CMC 2020，虚拟活动，2020年9月14日至18日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12687, 153-160 (2021).
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Sriram}等人，Lect。注释计算。科学。12687，153-160（2021；Zbl 07437067）
全文： 内政部
汉斯·约尔格·克鲁斯基;格列泽戈兹·罗森贝格

在反应系统中通过图形冲浪进行图形转换。 （英语） Zbl 1435.68135号

J.日志。阿尔盖布。方法计划。 109，文章ID 100481，22 p.（2019）.
MSC公司：第68季度第42季度 2007年第68季度 第68季度第45季度 68问题80 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.-J.Krowski}和\textit{G.Rozenberg}，J.Log。阿尔盖布。方法计划。109，文章ID 100481，22 p.（2019；Zbl 1435.68135）
全文： 内政部
码头Kleijn;马西耶·库特尼;乌卡斯·米库尔斯基;格列泽戈兹·罗森贝格

反应系统、过渡系统和等效物。 （英语） 兹比尔1514.68077

Böckenhauer，Hans-Joachim（编辑）等人，《低海拔和高海拔之间的冒险》。在尤拉吉·霍姆科维奇60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11011, 63-84 (2018).
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。11011，63-84（2018；Zbl 1514.68077）
全文： 内政部
塞皮诺德阿齐米;克里斯蒂安·格雷斯;塞尔吉·伊万诺夫;卢卡·曼佐尼;伊恩·皮特;安东尼奥·波雷卡（Antonio E.Porreca）。

反应系统模型检查的复杂性。 （英语） 兹比尔1336.68085

西奥。计算。科学。 623, 103-113 (2016).
MSC公司：2015年第68季度 2005年第68季度 2010年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Azimi}等人，Theor。计算。科学。623、103——113（2016年；Zbl 1336.68085）
全文： 内政部
阿托·萨洛马

定义子集函数的最小反应系统。 （英语） Zbl 1323.68277号

Calude，Cristian S.（编辑）等人，《使用新资源进行计算》。在乔泽夫·格鲁斯卡80岁生日之际献给他的散文。查姆：施普林格（ISBN 978-3-319-13349-2/pbk；978-3-316-13350-8/电子书）。计算机科学课堂讲稿8808436-446（2014）。
MSC公司：2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Salomaa}，莱克特。注释计算。科学。8808436--446（2014年；Zbl 1323.68277）
全文： 内政部
安德烈·埃伦菲赫特;迈恩，迈克尔;格列泽戈兹·罗森贝格;艾莉森·汤普森·布朗

反应系统的稳定性和混沌。 （英语） Zbl 1279.68094号

发现的国际期刊。计算。科学。 23，第5期，1173-1184（2012）.
MSC公司：2010年第68季度 92立方厘米 37N25号 92C40型 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ehrenfeucht}等人，《国际期刊》发现。计算。科学。23，编号51173-1184（2012年；兹bl 1279.68094）
全文： 内政部
R·布里德。;A.埃伦菲赫特。;G.罗森伯格。

用树表示反应系统。 （英语） Zbl 1353.68080号

Dinneen，Michael J.（编辑）等人，《计算、物理及其他》。2012年2月21日至24日，新西兰奥克兰，克里斯蒂安·卡鲁德60岁生日之际，举办了2012年WTCS国际理论计算机科学研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-27653-8/pbk）。计算机科学课堂讲稿7160330-342（2012）。
MSC公司：2005年第68季度 92立方37
PDF格式BibTeX公司 XML格式引用
\textit{R.Brijder}等人，Lect。注释计算。科学。7160330-342（2012；Zbl 1353.68080）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件