订阅小程序
旧版功能

Fly-automata for Checking MSO 2 Graph Properties.

Bruno Courcelle

Discrete Applied Mathematics（2018）

引用 2|浏览23
关键词
Monadic second-order logic,Edge quantification,Tree-width,Clique-width,Algorithmic meta-theorem,Fly-automaton
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要