G. M. Germano

Available identifiers

zbMath Open germano.giorgio-mMaRDI QIDQ1844220

List of research outcomes

Publication	Date of Publication	Type
Peano structures and the semantics of iteration	2013-09-11	Paper
Cantor diagrams: a unifying discussion of self-reference	2003-08-21	Paper
Non-deterministic closure theory and universal arrows	2002-06-16	Paper
General iteration and unary functions	1992-06-28	Paper
Closure functions and general iterates as reflectors	1991-01-01	Paper
Primitive iteration and unary functions	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815464	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3773864	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3216120	1984-01-01	Paper
Sequence recursiveness without cylindrification and limited register machines	1981-01-01	Paper
Computable stack functions for semantics of stack programs	1979-01-01	Paper
An arithmetical reconstruction of the liar's antinomy using addition and multiplication	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4107887	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4113810	1976-01-01	Paper
Sequence-to-sequence recursiveness	1975-01-01	Paper
Proving a compiler correct: A simple approach	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4041739	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4087154	1973-01-01	Paper
A flow diagram composition of Markov's normal algorithms without concluding formulas	1973-01-01	Paper
Incompleteness theorem via weak definability of truth: A short proof	1973-01-01	Paper
Equivalence of partial recursivity and computability by algorithms without concluding formulas	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5639708	1972-01-01	Paper
Incompleteness and truth definitions	1971-01-01	Paper
Metamathematische Begriffe in Standardtheorien	1970-01-01	Paper

Research outcomes over time

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