paint-brush
Appendix C Proofs Omitted from Section IV by@escholar

Appendix C Proofs Omitted from Section IV

tldt arrow

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.
featured image - Appendix C Proofs Omitted from Section IV
EScholar: Electronic Academic Papers for Scholars HackerNoon profile picture

This paper is available on arxiv under CC BY-SA 4.0 DEED license.

Authors:

(1) Tomáš Jakl, Czech Academy of Sciences and Czech Technical University;

(2) Dan Marsden, School of Computer Science University of Nottingham;

(3) Nihil Shah, Department of Computer Science University of Oxford.

APPENDIX C PROOFS OMITTED FROM SECTION IV