Functional Variant of Polynomial Analogue of Gandy’s Fixed Point Theorem

In this work, a functional variant of the polynomial analogue of Gandy’s fixed point theorem is obtained. Sufficient conditions have been found to ensure that the complexity of recursive functions does not exceed polynomial bounds. This opens up opportunities to enhance the expressivity of p-complet...

Full description

Saved in:
Bibliographic Details
Main Authors: Andrey Nechesov, Sergey Goncharov
Format: Article
Language:English
Published: MDPI AG 2024-10-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/12/21/3429
Tags: Add Tag
No Tags, Be the first to tag this record!