Pollack-inconsistency. Wiedijk, F. In Coen, C. S. & Aspinall, D., editors, UITP 2010, 9th International Workshop on User Interfaces for Theorem Provers, volume 285, of ENTCS, pages 85-100, 2012.
Pollack-inconsistency [pdf]Pdf  bibtex   

Downloads: 0