Search for persons
X
?
Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice ,
4
Multisets and Distributions:
, In:
?
Automated Reasoning; Lecture Notes in Computer Science ,
5
A Cyclic Proof System for Guarded Kleene Algebra with Tests:
, In:
?
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science ,
6
A Completeness Theorem for Probabilistic Regular Expression:
, In:
?
Quantitative Evaluation of Systems; Lecture Notes in Computer Science ,
9
Symbolic Semantics for Probabilistic Programs:
, In:
?
Programming Languages and Systems; Lecture Notes in Computer Science ,
12
A Complete Inference System for Skip-free Guarded Kleene Al..:
, In:
?
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) ,
13