Personensuche
X
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
10
A Simple Loopcheck for Intuitionistic K:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
11