Volume: Vol-3725 SMT 2024 | Year: 2024

Paper: « paper3 | paper8 | paper11 »

Reconstruction of SMT Proofs with Lambdapi

• Alessio Coltellacci dblp
• Gilles Dowek ORCID dblp Wikidata GND
• Stephan Merz ORCID dblp Wikidata GND

13-23 PDF