25 citations · 102 across the 22 of their papers we have counts for
1 paper · 2 filters
Tomáš Jakl, Dan Marsden, Nihil Shah
We present a categorical theory of the composition methods in finite model theory -- a key technique enabling modular reasoning about complex structures by building them out of sim…