Personensuche
X
?
Logic, Language, Information, and Computation; Lecture Notes in Computer Science ,
3
A Simple Loopcheck for Intuitionistic K:
, In:
?
Lecture Notes in Computer Science; Automated Reasoning with Analytic Tableaux and Related Methods ,
5
On Intuitionistic Diamonds (and Lack Thereof):
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
7
A Logical Interpretation of Asynchronous Multiparty Compati..:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
10