@incollection{Batini_1975,
doi = {10.1007/bfb0029533},
url = {https://doi.org/10.1007%2Fbfb0029533},
year = {1975},
publisher = {Springer Berlin Heidelberg},
pages = {297--311},
author = {Carlo Batini and Alberto Pettorossi},
title = {On subrecursiveness in weak combinatory logic},
booktitle = {Lecture Notes in Computer Science}
}
Library Size: 13G (12941 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A