Backward reasoning in systems with cut
From MaRDI portal
Publication:6560385
DOI10.1007/3-540-61732-9_67zbMATH Open1541.03022MaRDI QIDQ6560385
Author name not available (Why is that?)
Publication date: 21 June 2024
No records found.
This page was built for publication: Backward reasoning in systems with cut
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6560385)