Počet záznamů: 1
A categorical account of composition methods in logic
- 1.
SYSNO 0579478 Název A categorical account of composition methods in logic Tvůrce(i) Jakl, Tomáš (MU-W) SAI, ORCID
Marsden, D. (GB)
Shah, N. (GB)Zdroj.dok. 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Proceedings. S. 1-14. - New York : IEEE, 2023 Konference LICS 2023: Annual ACM/IEEE Symposium on Logic in Computer Science /38./, 26.06.2023, Boston - 29.06.2023 Druh dok. Konferenční příspěvek (zahraniční konf.) Institucionální podpora MU-W - RVO:67985840 Jazyk dok. eng Země vyd. US Klíč.slova computer circuits * equivalence classes * finite model theory Spolupracující instituce University of Nottingham (Velká Británie)
University of Oxford (Velká Británie)URL https://doi.org/10.1109/LICS56636.2023.10175751 Trvalý link https://hdl.handle.net/11104/0348314
Počet záznamů: 1