Appendix C Proofs Omitted from Section IV
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
About Author
TOPICS
THIS ARTICLE WAS FEATURED IN...
RELATED STORIES
L O A D I N G
. . . comments & more!
. . . comments & more!
Share Your Thoughts