Dual tableau-based decision procedures for fragments of the logic of binary relations
From MaRDI portal
Publication:6599613
DOI10.1007/978-3-319-97879-6_7zbMATH Open1544.03025MaRDI QIDQ6599613
Author name not available (Why is that?)
Publication date: 6 September 2024
No records found.
No records found.
This page was built for publication: Dual tableau-based decision procedures for fragments of the logic of binary relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6599613)
