Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Jacopini, G."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
General recursive functions in a very simply interpretable typed
\lambda
-calculus
G. Jacopini
,
G. Sontacchi
Theoretical Computer Science
121
(1-2), 1993, pp. 169-178
Reversible Turing machines and polynomial time reversibly computable functions
G. Jacopini
,
P. Mentrasti
,
G. Sontacchi
SIAM Journal on Discrete Mathematics
3
(2), 1990, May, pp. 241-254
Reversible parallel computation: An evolving space-model
G. Jacopini
,
G. Sontacchi
Theoretical Computer Science
73
, 1990, pp. 1-46
Generation of invertible functions
G. Jacopini
,
P. Mentrasti
Theoretical Computer Science
66
, 1989, pp. 289-297