11 citations · 19 across the 12 of their papers we have counts for
1 paper · 2 filters
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
The description complexity of a model is the length of the shortest formula that defines the model. We study the description complexity of unary structures in first-order logic FO,…