首页 | 本学科首页   官方微博 | 高级检索  
     


Practical algorithms for MSO model-checking on tree-decomposable graphs
Affiliation:1. Center of Game Theory, St Petersburg State University, Russia;2. SRS Consortium for Advanced Study in Dynamic Cooperative Games, Shue Yan University, Hong Kong;3. Faculty of Applied Mathematics-Control Processes, St Petersburg State University, Russia;1. Department of Information Engineering and Computer Science, Feng Chia University, Taichung 407, Taiwan, ROC;2. Department of Computer Science and Information Engineering, National Cheng Kung University, Tainan 701, Taiwan, ROC;1. In Vivo Pharmacology, Kenilworth, NJ, USA;2. Safety, West Point, PA, USA;3. Biostatistics, Kenilworth, NJ, USA;4. Cardiometabolic Diseases, Merck Research Laboratories, Kenilworth, NJ, USA;1. Mathematics Department, Xavier University, Cincinnati, OH 45207, USA;2. Mathematics Department, Illinois State University, Normal, IL 61790, USA
Abstract:
Keywords:Monadic second-order logic  Tree decompositions  Courcelle’s Theorem
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号