Automated deduction -- CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1--4, 2023. Proceedings

DOI10.1007/978-3-031-38499-8MaRDI QIDQ6090938zbMATH OpenFDO

Authors

Publication date 21 November 2023

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cited in

(3)

• scientific article; zbMATH DE number 7725598 (Why is no real title available?)
• Refinement of parallel algorithms down to LLVM: applied to practically efficient parallel sorting
• Automated deduction -- CADE 26. 26th international conference on automated deduction, Gothenburg, Sweden, August 6--11, 2017. Proceedings

This page was built for publication: Automated deduction -- CADE 29. 29th international conference on automated deduction, Rome, Italy, July 1--4, 2023. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6090938)