2 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Cezary Kaliszyk, Andrei Paskevich
This volume of EPTCS contains the proceedings of the Fourth Workshop on Proof Exchange for Theorem Proving (PxTP 2015), held as part of the International Conference on Automated De…