Formal definitions and proofs for partial (co)recursive functions

DOI10.1016/j.jlamp.2024.100999MaRDI QIDQ6615564

Horaţiu Cheval, David E. Nowak, Vlad Rusu

Publication date: 8 October 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Computer science (68-XX)

This page was built for publication: Formal definitions and proofs for partial (co)recursive functions