Semi-conservative reduction
- 1 December 1977
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 18 (1) , 23-25
- https://doi.org/10.1007/bf02007254
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Dominoes and the Aea Case of the Decision ProblemPublished by Springer Nature ,1990