Giorgio Germano

14 papers B 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2003 — conf
Peano Structures and the Semantics of Iteration.
COMETA
Giorgio Germano, 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
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
1981 J jnl
Sequence Recursiveness Without Cylindrification and Limited Register Machines.
Theor. Comput. Sci.
Giorgio Germano, Andrea Maggiolo-Schettini
1979 J jnl
Computable Stack Functions for Semantics of Stack Programs.
J. Comput. Syst. Sci.
Giorgio Germano, Andrea Maggiolo-Schettini
1976 J jnl
A language for Markov's algorithms composition.
Acta Cybern.
Giorgio Germano, Andrea Maggiolo-Schettini
1976 J jnl
An arithmetical reconstruction of the liar's antinomy using addition and multiplication.
Notre Dame J. Formal Log.
Giorgio Germano
1976 B conf
Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs.
MFCS
Giorgio Germano, Andrea Maggiolo-Schettini
1975 J jnl
Proving a Compiler Correct: A Simple Approach.
J. Comput. Syst. Sci.
Giorgio Germano, Andrea Maggiolo-Schettini
1975 J jnl
Sequence-to-Sequence Recursiveness.
Inf. Process. Lett.
Giorgio Germano, Andrea Maggiolo-Schettini
1974 J jnl
Loops in Algol 60 and in category theory.
SIGACT News
Giorgio Germano, Andrea Maggiolo-Schettini
1973 J jnl
Incompleteness theorem via weak definability of truth: a short proof.
Notre Dame J. Formal Log.
Giorgio Germano