100 citations · 287 across the 22 of their papers we have counts for
1 paper · 2 filters
Pablo Barcelo, Leonid Libkin
Our goal is to show that the standard model-theoretic concept of types can be applied in the study of order-invariant properties, i.e., properties definable in a logic in the prese…