The termination of the higher-dimensional tarai functions

DOI10.1016/J.IPL.2014.08.001zbMath1302.68244OpenAlexW2011275393MaRDI QIDQ477602

Masashi Kikuchi, Tetsuya Ishiu

Publication date: 9 December 2014

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2014.08.001

zbMATH Keywords

theory of computationCoqcall-by-needtarai functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Uses Software

• Coq

Cites Work

• Unnamed Item
• A mechanical proof of the termination of Takeuchi's function

This page was built for publication: The termination of the higher-dimensional tarai functions