Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving

authors

publication date

December 4, 2017

published in

Electronic Proceedings in Theoretical Computer Science Journal

Digital Object Identifier (DOI)

https://doi.org/10.4204/eptcs.262

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W2775495531 Global Citation Count

volume

262