Reconstruction of SMT proofs with Lambdapi

Acta Informatica 2026 Open access

Read full text
Authors: Alessio Coltellacci, Bruno Andreotti, Haniel Barbosa, Gilles Dowek, Stephan Merz
DOI: 10.1007/s00236-025-00515-w
Cited by: 2
References: 39

Fields of Study & Subjects

Semantic Web and Ontologies

Publication details

Journal / source
Acta Informatica
Publisher
Springer Science and Business Media LLC
Volume
63
Issue
1
Publication date
23 February 2026
Language
EN