Proceedings of the workshop on proof theory and complexity, PTAC '98, Aarhus, Denmark, August 3--7, 1998
From MaRDI portal
Publication:1577489
DOI10.1016/S0168-0072(00)00004-XzbMATH Open0954.00023MaRDI QIDQ1577489
Author name not available (Why is that?)
Publication date: 14 January 2001
Published in: (Search for Journal in Brave)
No records found.
No records found.
This page was built for publication: Proceedings of the workshop on proof theory and complexity, PTAC '98, Aarhus, Denmark, August 3--7, 1998
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1577489)
