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
EScholar: Electronic Academic Papers for Scholars
We publish the best academic work (that's too often lost to peer reviews & the TA's desk) to the global tech community
Receive Stories from @escholar
RELATED STORIES
L O A D I N G
. . . comments & more!