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="Sato, Masahiko"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
External and internal syntax of the
\lambda
-calculus
Masahiko Sato
,
Randy Pollack
Journal Symbolic Computation
45
(5), 2010, pp. 598-616
Strong normalizability of the non-deterministic catch/throw calculi
Yukiyoshi Kameyama
,
Masahiko Sato
Theoretical Computer Science
272
(1-2), 2002, pp. 223-245
Intuitionistic and classical natural deduction systems with the catch and the throw rules
Masahiko Sato
Theoretical Computer Science
175
(1), 1997, pp. 75-92
On formal fractions associated with the symmetric groups
Masahiko Sato
Journal of Combinatorial Theory Series A
20
, 1976, pp. 124-131