![]() ![]() ![]() | ![]() |
![]() ![]() ![]() ![]() ![]() |
![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Note: Links lead to the DBLP on the Web. Markus Frick 4 Markus Frick: Generalized Model-Checking over Locally Tree-Decomposable Classes. STACS 2002 : 632-644 3 Jörg Flum , Markus Frick, Martin Grohe : Query Evaluation via Tree-Decompositions. ICDT 2001 : 22-38 2 Markus Frick, Martin Grohe : Deciding first-order properties of locally tree-decomposable structures. JACM 48 (6): 1184-1206 (2001) 1 Markus Frick, Martin Grohe : Deciding First-Order Properties of Locally Tree-Decomposalbe Graphs. ICALP 1999 : 331-340 ![]() DiSC'02 © 2003 Association for Computing Machinery |