Giorgio Germano

Publication Activity (10 Years)

Years Active: 1973-2004
Publications (10 Years): 0

Publications

Giorgio Germano, Stefano Mazzanti
Peano Structures and the Semantics of Iteration. Electron. Notes Theor. Comput. Sci. 104 (2004)
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)
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)
Giorgio Germano, Andrea Maggiolo-Schettini
Sequence Recursiveness Without Cylindrification and Limited Register Machines. Theor. Comput. Sci. 15 (1981)
Giorgio Germano, Andrea Maggiolo-Schettini
Computable Stack Functions for Semantics of Stack Programs. J. Comput. Syst. Sci. 19 (2) (1979)
Giorgio Germano, Andrea Maggiolo-Schettini
A language for Markov's algorithms composition. Acta Cybern. 3 (1) (1976)
Giorgio Germano
An arithmetical reconstruction of the liar's antinomy using addition and multiplication. Notre Dame J. Formal Log. 17 (3) (1976)
Giorgio Germano, Andrea Maggiolo-Schettini
Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. MFCS (1976)
Giorgio Germano, Andrea Maggiolo-Schettini
Proving a Compiler Correct: A Simple Approach. J. Comput. Syst. Sci. 10 (3) (1975)
Giorgio Germano, Andrea Maggiolo-Schettini
Sequence-to-Sequence Recursiveness. Inf. Process. Lett. 4 (1) (1975)
Giorgio Germano, Andrea Maggiolo-Schettini
Loops in Algol 60 and in category theory. SIGACT News 6 (4) (1974)
Giorgio Germano
Incompleteness theorem via weak definability of truth: a short proof. Notre Dame J. Formal Log. 14 (3) (1973)