> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A proof system of the CaIT calculus Beteiligte: Chen, Ningning; Zhu, Huibiao Erschienen: Springer Science and Business Media LLC, 2024 Erschienen in: Frontiers of Computer Science Sprache: Englisch DOI: 10.1007/s11704-022-2258-3 ISSN: 2095-2228; 2095-2236 Schlagwörter: General Computer Science ; Theoretical Computer Science Entstehung: Anmerkungen: