selected publications
-
issue
- Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving. Electronic Proceedings in Theoretical Computer Science. 2017
Close
Woltzenlogel Paleo, Bruno
Publications
Contact
full name
- Bruno Woltzenlogel Paleo
Publications in VIVO
Co-author Network