S. Mazzanti

From MaRDI portal
(Redirected from Person:342701)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
New substitution bases for complexity classes
Mathematical Logic Quarterly
2020-05-29Paper
Regressive computations characterize logarithmic space
Information and Computation
2016-11-18Paper
Unbounded recursion and non-size-increasing functions2016-08-05Paper
Bases for \(\mathrm{AC}^{0}\) and other complexity classes
Fundamenta Informaticae
2016-05-11Paper
Iteration on notation and unary functions
Mathematical Logic Quarterly
2014-02-05Paper
Peano structures and the semantics of iteration2013-09-11Paper
CRN elimination and substitution bases for complexity classes
Fundamenta Informaticae
2012-10-31Paper
Bounded iteration and unary functions
MLQ
2005-02-16Paper
Plain bases for classes of primitive recursive functions
Mathematical Logic Quarterly (MLQ)
2003-08-24Paper
Cantor diagrams: a unifying discussion of self-reference
Applied Categorical Structures
2003-08-21Paper
Non-deterministic closure theory and universal arrows
Applied Categorical Structures
2002-06-16Paper
Iterative Characterizations of Computable Unary Functions: A General Method
Mathematical Logic Quarterly
1997-08-19Paper
Succinct iterative characterizations of primitive computable unary functions
Information Processing Letters
1997-02-28Paper
General iteration and unary functions
Annals of Pure and Applied Logic
1992-06-28Paper
Closure functions and general iterates as reflectors
Theoretical Computer Science
1991-01-01Paper
Primitive iteration and unary functions
Annals of Pure and Applied Logic
1988-01-01Paper
scientific article; zbMATH DE number 4085875 (Why is no real title available?)1988-01-01Paper
scientific article; zbMATH DE number 4033724 (Why is no real title available?)1987-01-01Paper
scientific article; zbMATH DE number 3881860 (Why is no real title available?)1984-01-01Paper


Research outcomes over time


This page was built for person: S. Mazzanti