Open Access
October 1981 A property which guarantees termination in weak combinatory logic and subtree replacement systems.
Alberto Pettorossi
Notre Dame J. Formal Logic 22(4): 344-356 (October 1981). DOI: 10.1305/ndjfl/1093883514
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Vol.22 • No. 4 • October 1981
Back to Top