首页> 外文OA文献 >The Expression Of Graph Properties And Graph Transformations In Monadic Second-Order Logic

【2h】

The Expression Of Graph Properties And Graph Transformations In Monadic Second-Order Logic

机译：一元二阶逻辑中图属性的表达和图变换

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
B. Courcelle;
展开▼
作者单位

展开▼
年度 1997
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications [J] . Courcelle B. Theoretical computer science . 2003,第1a3期

机译：图XIV的单子二阶逻辑：均匀稀疏图和边集量化
2. The monadic second-order logic of graphs XII: planar graphs and planar maps [J] . Courcelle B. Theoretical computer science . 2000,第1a2期

机译：图十二的单子二阶逻辑：平面图和平面图
3. The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs [J] . Bruno Courcelle Theoretical computer science . 1999,第1a2期

机译：图十一的一元二阶逻辑：连通图的层次分解
4. Graph-Transformation Verification using Monadic Second-Order Logic [C] . Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Proceedings of the 2011 symposium on principles and practices of declarative programming. . 2011

机译：使用Monadic二阶逻辑的图变换验证
5. Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations [D] . Brantley, Kristina. 2019

机译：单子直觉和模态逻辑承认可证明性
6. A new transformation method with nanographene oxides of antisense carryingyycG RNA improved antibacterial properties on methicillin-resistantStaphylococcus aureus biofilm [O] . Shizhou WU, Yunjie LIU, Hui ZHANG, 2019

机译：纳米氧化石墨烯反义携带的新转化方法yycG RNA提高了耐甲氧西林的抗菌性能金黄色葡萄球菌生物膜
7. Graph Operations, Graph Transformations and Monadic Second-Order Logic: A survey [O] . Courcelle Bruno 2002

机译：图运算，图转换和单子二阶逻辑：调查

The Expression Of Graph Properties And Graph Transformations In Monadic Second-Order Logic

著录项

引文网络

相似文献

相关主题

期刊订阅