2 citations · 3 across the 16 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,…