The termination of the higher-dimensional tarai functions

DOI10.1016/J.IPL.2014.08.001zbMATH Open1302.68244OpenAlexW2011275393MaRDI QIDQ477602FDOQ477602

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)

Cites Work

• Title not available (Why is that?)
• A mechanical proof of the termination of Takeuchi's function

Uses Software

• Coq

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The Takagi function and its generalization 👍 👎
• The Takagi Function and Its Properties 👍 👎
• On generalized Takagi functions 👍 👎
• Multidimensional Tauberian theorems for generalized functions 👍 👎
• Generalized Igusa-Todorov function and finitistic dimensions. 👍 👎
• Finite-dimensional tau functions of the universal character hierarchy 👍 👎
• A new class of special functions in higher dimensions 👍 👎
• A new generalization of the Takagi function 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q477602)