Stefano Mazzanti

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 4

Top Topics

Multiresolution

High Computational Complexity

Space Complexity

Decision Problems

Top Venues

Fundam. Informaticae

Electron. Notes Theor. Comput. Sci.

Publications

Stefano Mazzanti
New substitution bases for complexity classes. Math. Log. Q. 66 (1) (2020)
Stefano Mazzanti
Unbounded Recursion and Non-size-increasing Functions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Stefano Mazzanti
Regressive computations characterize logarithmic space. Inf. Comput. 251 (2016)
Stefano Mazzanti
and Other Complexity Classes. Fundam. Informaticae 136 (4) (2015)
Stefano Mazzanti
Logspace computability and regressive machines. ICTCS (2014)
Stefano Mazzanti
Iteration on notation and unary functions. Math. Log. Q. 59 (6) (2013)
Stefano Mazzanti
CRN Elimination and Substitution Bases for Complexity Classes. Fundam. Informaticae 120 (1) (2012)
Stefano Mazzanti
Bounded iteration and unary functions. Math. Log. Q. 51 (1) (2005)
Giorgio Germano, Stefano Mazzanti
Peano Structures and the Semantics of Iteration. Electron. Notes Theor. Comput. Sci. 104 (2004)
G. M. Germano, Stefano Mazzanti
Cantor Diagrams: A Unifying Discussion of Self-Reference. Appl. Categorical Struct. 11 (4) (2003)
Stefano Mazzanti
Plain Bases for Classes of Primitive Recursive Functions. Math. Log. Q. 48 (1) (2002)
G. M. Germano, Stefano Mazzanti
Non-Deterministic Closure Theory and Universal Arrows. Appl. Categorical Struct. 9 (4) (2001)
Stefano Mazzanti
Iterative Characterizations of Computable Unary Functions: A General Method. Math. Log. Q. 43 (1997)
Egon Börger, Stefano Mazzanti
A Practical Method for Rigorously Controllable Hardware Design. ZUM (1997)
Stefano Mazzanti
Succinct Iterative Characterizations of Primitive Computable Unary Functions. Inf. Process. Lett. 56 (6) (1995)
Giorgio Germano, Stefano Mazzanti
Closure Functions and General Iterates as Reflectors. Theor. Comput. Sci. 82 (2) (1991)
Giorgio Germano, Stefano Mazzanti
General Iteration and Unary Functions. Ann. Pure Appl. Log. 54 (2) (1991)
G. M. Germano, Stefano Mazzanti
Primitive iteration and unary functions. Ann. Pure Appl. Log. 40 (3) (1988)
Giorgio Germano, Stefano Mazzanti
A Setting for Generalized Computability. Computation Theory and Logic (1987)
Giorgio Germano, Stefano Mazzanti
Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration. CSL (1987)