Deciding first-order properties of locally tree-decomposable structures 论文

2001Journal of the ACM引用 229
DOI
Advanced Graph Theory ResearchComplexity and Algorithms in GraphsInterconnection Networks and Systems
Advanced Graph Theory ResearchComplexity and Algorithms in GraphsInterconnection Networks and Systems
相关技术:Complexity and Algorithms in GraphsInterconnection Networks and Systems
关系图谱

Deciding first-order properties of locally tree-decomposable structures · 相关文章

暂无数据