Keyword:Certificates

Publications
Progress on Digitization of Higher Education Processes towards Standards EU & DE Hermann Strack, Guido Bacharach, Ramona-Denisa Steiper, Matthias Gottlieb, Wolfgang Radenbach, Arn Waßmann, Hans Pongratz and Jan Joost Norder In:Proceedings of the European University Information Systems Conference 2021
Extended Resolution as Certificates for Propositional Logic Chantal Keller In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving
Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract) Zakaria Chihani, Dale Miller and Fabien Renaud In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving