The termination of the higher-dimensional tarai functions

DOI10.1016/J.IPL.2014.08.001MaRDI QIDQ477602zbMATH OpenOpenAlexFDO

Authors Tetsuya Ishiu, Masashi Kikuchi

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)

Recommendations

• The Takagi function and its generalization
• Multidimensional Tauberian theorems for generalized functions
• A new class of special functions in higher dimensions
• On generalized Takagi functions
• Finite-dimensional tau functions of the universal character hierarchy
• scientific article; zbMATH DE number 3977581
• scientific article; zbMATH DE number 6342113
• A new generalization of the Takagi function
• The Takagi function and its properties
• Generalized Igusa-Todorov function and finitistic dimensions.

Cites work

• scientific article; zbMATH DE number 88994 (Why is no real title available?)
• A mechanical proof of the termination of Takeuchi's function

Describes a project that uses

Uses Software

• Coq

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)