Spatial Existential Positive Logics for Hyperedge Replacement Grammars

Spatial Existential Positive Logics for Hyperedge Replacement Grammars
复制标题

超边替换文法的空间存在正逻辑

DOI:
--
复制
发表时间:
2022
期刊:
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic
影响因子:
--
通讯作者:
Yoshiki Nakamura
Yoshiki Nakamura
中科院分区:
--
文献类型:
--
作者:
Lorenzo Cavallina;Giorgio Poggesi;Toshiaki Yachimura;谷地村 敏明;谷地村 敏明;谷地村 敏明;Yoshiki Nakamura;野口 健太;Yoshiki Nakamura

文献摘要

参考文献

被引文献

相似文献

DOI: 10.1007/978-3-030-43520-2_13
发表时间: 2020
期刊: Relational and Algebraic Methods in Computer Science
影响因子: --
作者:
Yoshiki Nakamura
通讯作者: Yoshiki Nakamura
DOI: 10.1145/1379759.1379763
发表时间: 2008
期刊: J. ACM
影响因子: --
作者:
Benjamin Rossman
通讯作者: Benjamin Rossman
皮氏自动机
DOI: 10.23638/lmcs-13(3:33)2017
发表时间: 2017
期刊: Log. Methods Comput. Sci.
影响因子: --
作者:
Paul Brunet;Damien Pous
通讯作者: Damien Pous
一类平面无环图的克林定理
DOI: 10.1006/inco.1995.1043
发表时间: 1995
影响因子: 1
作者:
F. Bossut;M. Dauchet;Bruno Warin
通讯作者: Bruno Warin
无上下文图语言的逻辑描述
DOI: 10.1006/jcss.1997.1510
发表时间: 1997
期刊: Journal of computer and system sciences (Print)
影响因子: --
作者:
J. Engelfriet;V. V. Oostrom
通讯作者: V. V. Oostrom