Search for persons
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
9
Bouncing Threads for Circular and Non-Wellfounded Proofs ..:
, In:
?
2022 Computing in Cardiology (CinC) ,
12