3 citations · 8 across the 7 of their papers we have counts for
1 paper · 1 filter
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…