Tree-decompositions and the model-checking problem

MaRDI QIDQ2729237zbMATH OpenFDO

Authors Jörg Flum

Publication date 18 July 2001

Published in Bulletin of the European Association for Theoretical Computer Science EATCS (Search for Journal in Brave)

zbMATH Keywords

tree-decomposition

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in artificial intelligence (68T27)

Cited in

(3)

• Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
• Graph decompositions and tree automata in reasoning with uncertainty
• Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras

This page was built for publication: Tree-decompositions and the model-checking problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729237)