Abstract FVM Theorems for Products
Too Long; Didn't Read
In this paper, we present a categorical theory of the composition methods in finite model theory – a key technique enabling modular reasoning.
EScholar: Electronic Academic Papers for Scholars
@escholar
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community
L O A D I N G
. . . comments & more!
. . . comments & more!
