Stefano Mazzanti

21 papers B 1Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2020 J jnl
New substitution bases for complexity classes.
Math. Log. Q.
Stefano Mazzanti
2016 J jnl
Regressive computations characterize logarithmic space.
Inf. Comput.
Stefano Mazzanti
2015 J jnl
Bases for AC
Fundam. Informaticae
Stefano Mazzanti
2015 — conf
Unbounded Recursion and Non-size-increasing Functions.
ICTCS
Stefano Mazzanti
2014 — conf
Logspace computability and regressive machines.
ICTCS
Stefano Mazzanti
2013 J jnl
Iteration on notation and unary functions.
Math. Log. Q.
Stefano Mazzanti
2012 J jnl
CRN Elimination and Substitution Bases for Complexity Classes.
Fundam. Informaticae
Stefano Mazzanti
2005 J jnl
Bounded iteration and unary functions.
Math. Log. Q.
Stefano Mazzanti
2005 — —
Progetto, realizzazione e sperimentazione di un sistema di acquisizione dati in tempo reale su piattaforma personal computer.
Stefano Mazzanti
2003 J jnl
Cantor Diagrams: A Unifying Discussion of Self-Reference.
Appl. Categorical Struct.
G. M. Germano, Stefano Mazzanti
2003 — conf
Peano Structures and the Semantics of Iteration.
COMETA
Giorgio Germano, Stefano Mazzanti
2002 J jnl
Plain Bases for Classes of Primitive Recursive Functions.
Math. Log. Q.
Stefano Mazzanti
2001 J jnl
Non-Deterministic Closure Theory and Universal Arrows.
Appl. Categorical Struct.
G. M. Germano, Stefano Mazzanti
1997 — conf
A Practical Method for Rigorously Controllable Hardware Design.
ZUM
Egon Börger, Stefano Mazzanti
1997 J jnl
Iterative Characterizations of Computable Unary Functions: A General Method.
Math. Log. Q.
Stefano Mazzanti
1995 J jnl
Succinct Iterative Characterizations of Primitive Computable Unary Functions.
Inf. Process. Lett.
Stefano Mazzanti
1991 J jnl
Closure Functions and General Iterates as Reflectors.
Theor. Comput. Sci.
Giorgio Germano, Stefano Mazzanti
1991 J jnl
General Iteration and Unary Functions.
Ann. Pure Appl. Log.
Giorgio Germano, Stefano Mazzanti
1988 J jnl
Primitive iteration and unary functions.
Ann. Pure Appl. Log.
G. M. Germano, Stefano Mazzanti
1987 — conf
A Setting for Generalized Computability.
Computation Theory and Logic
Giorgio Germano, Stefano Mazzanti
1987 B conf
Loose Diagrams, Semigroupoids, Categories, Groupoids and Iteration.
CSL
Giorgio Germano, Stefano Mazzanti