default search action
6th PxTP 2019: Natal, Brazil
- Giselle Reis, Haniel Barbosa:
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. EPTCS 301, 2019 - Eunice Palmeira da Silva, Fred Freitas, Jens Otten:
Converting ALC Connection Proofs into ALC Sequents. 3-17 - Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark W. Barrett, Cesare Tinelli:
Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract). 18-26 - Mohamed Yacine El Haddad, Guillaume Burel, Frédéric Blanqui:
EKSTRAKTO A tool to reconstruct Dedukti proofs from TSTP files (extended abstract). 27-35 - Mathias Fleury, Hans-Jörg Schurr:
Reconstructing veriT Proofs in Isabelle/HOL. 36-50 - Fadil Kallat, Tristan Schäfer, Anna Vasileva:
CLS-SMT: Bringing Together Combinatory Logic Synthesis and Satisfiability Modulo Theories. 51-65
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.