Elimination of cut-type rules from the Robinson and Presburger axiomatic systems
From MaRDI portal
Publication:2557246
DOI10.1007/BF01117478zbMATH Open0252.02026MaRDI QIDQ2557246
Publication date: 1973
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Cites Work
This page was built for publication: Elimination of cut-type rules from the Robinson and Presburger axiomatic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2557246)
