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
[1]
Hilfe
Suche: Author="Tatsuta, Makoto"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Internal models of system F for decompilation
Stefano Berardi
,
Makoto Tatsuta
Theoretical Computer Science
435
, 2012, pp. 3-20
Type checking and typability in domain-free lambda calculi
Koji Nakazawa
,
Makoto Tatsuta
,
Yukiyoshi Kameyama
,
Hiroshi Nakano
Theoretical Computer Science
412
(44), 2011, pp. 6193-6207
Realizability interpretation of generalized inductive definitions
Satoshi Kobayashi
,
Makoto Tatsuta
Theoretical Computer Science
131
(1), 1994, pp. 121-138
Two realizability interpretations of monotone inductive definitions
Makoto Tatsuta
International Journal of Foundations of Computer Science
5
(1), 1994, pp. 1-21
Realizability interpretation of coinductive definitions and program synthesis with streams
Makoto Tatsuta
Theoretical Computer Science
122
(1-2), 1994, pp. 119-136
Program synthesis using realizability
Makoto Tatsuta
Theoretical Computer Science
90
, 1991, pp. 309-353