-
24691
Deciding first-order properties of locally tree-decomposable structures.
Pubblicato in Journal of the ACMArticolo -
24692
-
24693
-
24694
-
24695
-
24696
-
24697
-
24698
-
24699
-
24700