%0
Generic
%T
A proof system of the CaIT calculus
%A Chen, Ningning
%A Zhu, Huibiao
%I Springer Science and Business Media LLC
%@ 2095-2228
%@ 2095-2236
%K General Computer Science
%K Theoretical Computer Science
%D 2024
%C Springer Science and Business Media LLC
%U http://slubdd.de/katalog?TN_libero_mab2