Zobrazeno 1 - 10
of 1 322
pro vyhledávání: '"Fujita, Ken"'
Autor:
Arakawa, Hiroshi, Ishida, Naoki, Nakatsuji, Tomoki, Matsumoto, Natsumi, Imamura, Rikako, Shengyu, Dai, Araya, Karin, Horike, Shin-ichi, Tanaka-Yachi, Rieko, Kasahara, Mureo, Yoshioka, Takako, Sumida, Yuto, Ohmiya, Hirohisa, Daikoku, Takiko, Wakayama, Tomohiko, Nakamura, Kazuaki, Fujita, Ken-ichi, Kato, Yukio
Publikováno v:
In Biochemical Pharmacology July 2024 225
Autor:
Ichimura, Takumi, Maeda, Hiroki, Shimbayashi, Takuya, Okubo, Kohei, Fukushima, Masayuki, Tohnai, Norimitsu, Fujita, Ken-ichi, Oka, Kouki
Publikováno v:
In International Journal of Hydrogen Energy 27 June 2024 72:815-819
Autor:
Fujita, Ken‐ichi1 (AUTHOR) k.fujita@med.showa‐u.ac.jp, Matsumoto, Natsumi1 (AUTHOR), Murase, Remi1 (AUTHOR), Takeshima, Kosuke1 (AUTHOR), Ishida, Hiroo2 (AUTHOR), Kubota, Yutaro3 (AUTHOR)
Publikováno v:
CTS: Clinical & Translational Science. Oct2023, Vol. 16 Issue 10, p1741-1747. 7p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Fujita, Ken-etsu
Publikováno v:
EPTCS 235, 2017, pp. 16-31
The Church-Rosser theorem in the type-free lambda-calculus is well investigated both for beta-equality and beta-reduction. We provide a new proof of the theorem for beta-equality with no use of parallel reductions, but simply with Takahashi's transla
Externí odkaz:
http://arxiv.org/abs/1701.00637