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="di Gianantonio, Pietro"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A type assignment system for game semantics
Pietro Di Gianantonio
,
Furio Honsell
,
Marina Lenisa
Theoretical Computer Science
398
(1-3), 2008, pp. 150-169
A certified, corecursive implementation of exact real numbers
Alberto Ciaffaglione
,
Pietro Di Gianantonio
Theoretical Computer Science
351
(1), 2006, pp. 39-51
The fine structure of game lambda models
Pietro Di Gianantonio
,
Gianluca Franco
Lecture Notes in Computer Science
1974
, 2000, pp. 429-441
An abstract data type for real numbers
Pietro di Gianantonio
Theoretical Computer Science
221
(1-2), 1999, pp. 295-326
An abstract data type for real numbers
Pietro di Gianantonio
Lecture Notes in Computer Science
1256
, 1997, pp. 121-131
Countable non-determinism and uncountable limits
Pietro di Gianantonio
,
Furio Honsell
,
Silvia Liani
,
Gordon D. Plotkin
Lecture Notes in Computer Science
836
, 1994, pp. 130-145
Real number computability and domain theory
Pietro Di Gianantonio
Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science 1993. MFCS'93(GdaĆsk, Poland, August/September 1993)
LNCS 711
, 1993, pp. 413-422