PxTP 2021-Seventh Workshop on Proof eXchange for Theorem Proving PxTP 2021-Seventh Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh/Virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩ PxTP PxTP 2021-7th Workshop on Proof eXchange for Theorem Proving PxTP 2021-7th Workshop on Proof eXchange for Theorem Proving, Sep 2021, Pittsburgh, PA / virtual, United States. pp.49-54, ⟨10.4204/EPTCS.336.6⟩
Lecture Notes in Computer Science Lecture Notes in Computer Science-Automated Deduction – CADE 28 Automated Deduction-CADE 28 Lecture Notes in Artificial Intelligence CADE 28-28th International Conference on Automated Deduction CADE 28-28th International Conference on Automated Deduction, Jul 2021, Pittsburgh/Virtual, United States. ⟨10.1007/978-3-030-79876-5⟩ Automated Deduction – CADE 28 ISBN: 9783030798758 CADE Automated Deduction – CADE 28-28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings CADE 2021-28th International Conference on Automated Deduction CADE 2021-28th International Conference on Automated Deduction, Jul 2021, Pittsburgh, PA / online, United States. ⟨10.1007/978-3-030-79876-5⟩
LPAR LPAR-23 EasyChair Proceedings in Computing LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, May 2020, Alicante, Spain. pp.212-193, ⟨10.29007/96wb⟩
CADE-27-The 27th International Conference on Automated Deduction CADE-27-The 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. pp.111-122, ⟨10.1007/978-3-030-29436-6_7⟩ Lecture Notes in Computer Science ISBN: 9783030294359 CADE
PxTP 2019-Sixth Workshop on Proof eXchange for Theorem Proving PxTP 2019-Sixth Workshop on Proof eXchange for Theorem Proving, Aug 2019, Natal, Brazil. pp.36-50, ⟨10.4204/EPTCS.301.6⟩ Electronic Proceedings in Theoretical Computer Science, Vol 301, Iss Proc. PxTP 2019, Pp 36-50 (2019) Electronic Proceedings in Theoretical Computer Science Proceedings Sixth Workshop on Proof eXchange for Theorem Proving PxTP