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
The Abstraction and Reasoning Corpus: C. Limitations and Future Work
Published at Mar 11, 2024 by escholar #abstraction-corpus
Appendix D Proofs Omitted from Section V
Published at Mar 21, 2024 by escholar #finite-model-theory
Appendix F Proofs Omitted from Section VII
Published at Mar 21, 2024 by escholar #finite-model-theory
APPENDIX A FVM THEOREMS FOR COPRODUCTS
Published at Mar 21, 2024 by escholar #finite-model-theory
Adding Equality and Other Enrichment
Published at Mar 21, 2024 by escholar #finite-model-theory
L O A D I N G
. . . comments & more!