G. M. Germano

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!

Publication	Date of Publication	Type
Peano structures and the semantics of iteration	2013-09-11	Paper
Cantor diagrams: a unifying discussion of self-reference Applied Categorical Structures	2003-08-21	Paper
Non-deterministic closure theory and universal arrows Applied Categorical Structures	2002-06-16	Paper
General iteration and unary functions Annals of Pure and Applied Logic	1992-06-28	Paper
Closure functions and general iterates as reflectors Theoretical Computer Science	1991-01-01	Paper
scientific article; zbMATH DE number 4085875 (Why is no real title available?)	1988-01-01	Paper
Primitive iteration and unary functions Annals of Pure and Applied Logic	1988-01-01	Paper
scientific article; zbMATH DE number 4033724 (Why is no real title available?)	1987-01-01	Paper
scientific article; zbMATH DE number 3881860 (Why is no real title available?)	1984-01-01	Paper
Sequence recursiveness without cylindrification and limited register machines Theoretical Computer Science	1981-01-01	Paper
Computable stack functions for semantics of stack programs Journal of Computer and System Sciences	1979-01-01	Paper
An arithmetical reconstruction of the liar's antinomy using addition and multiplication Notre Dame Journal of Formal Logic	1976-01-01	Paper
scientific article; zbMATH DE number 3530942 (Why is no real title available?)	1976-01-01	Paper
scientific article; zbMATH DE number 3537652 (Why is no real title available?)	1976-01-01	Paper
Sequence-to-sequence recursiveness Information Processing Letters	1975-01-01	Paper
Proving a compiler correct: A simple approach Journal of Computer and System Sciences	1975-01-01	Paper
scientific article; zbMATH DE number 3455452 (Why is no real title available?)	1974-01-01	Paper
Incompleteness theorem via weak definability of truth: A short proof Notre Dame Journal of Formal Logic	1973-01-01	Paper
scientific article; zbMATH DE number 3506659 (Why is no real title available?)	1973-01-01	Paper
A flow diagram composition of Markov's normal algorithms without concluding formulas BIT	1973-01-01	Paper
Equivalence of partial recursivity and computability by algorithms without concluding formulas Calcolo	1972-01-01	Paper
scientific article; zbMATH DE number 3366918 (Why is no real title available?)	1972-01-01	Paper
Incompleteness and truth definitions Theoria	1971-01-01	Paper
Metamathematische Begriffe in Standardtheorien Archiv für Mathematische Logik und Grundlagenforschung	1970-01-01	Paper

Research outcomes over time

This page was built for person: G. M. Germano