Personensuche
X
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
9
Canonicity of Proofs in Constructive Modal Logic:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
10