Request file
Review/Citation: JAKL, Tomáš, MARSDEN, D., SHAH, N. A categorical account of composition methods in logic. In: 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. New York: IEEE, 2023, s. 1-14. ISBN 979-8-3503-3588-0
Requested document: Jakl.pdf - Publisher’s postprint
The requested document is not available in open access mode. But it is possible to ask the author for a copy of the document through the form below. If your application is accepted, you will receive a document by e - mail.