Zobrazeno 1 - 10
of 375
pro vyhledávání: '"Kimura, Daisuke"'
Autor:
Masuoka, Yukihiro, Kimura, Daisuke
The framework of cyclic proof systems provides a reasonable proof system for logics with inductive definitions. It also offers an effective automated proof search procedure for such logics without finding induction hypotheses. Recent researches have
Externí odkaz:
http://arxiv.org/abs/2203.05791
Publikováno v:
In Theoretical Computer Science 1 December 2024 1019
Autor:
Kimura, Daisuke, Demura, Masahiko, Nagata, Kenji, Irisawa, Toshihira, Sugimoto, Yoshiki, Takarada, Wataru, Shioya, Masatoshi
Publikováno v:
In Carbon Trends June 2024 15
Publikováno v:
In Heliyon 15 May 2024 10(9)
Autor:
Sato, Masaki, Inada, Hiroshi, Obi, Hiroshi, Mori, Hiroki, Fuyuki, Takuma, Balasekaran, Sundararajan, Kimura, Daisuke, Machinaga, Kenichi, Iguchi, Yasuhiro, Muramatsu, Yasuhiro, Murofushi, Hiroshi, Sano, Masahiko, Kudo, Junichi, Kibe, Michiya, Koyama, Masatoshi
Publikováno v:
In Infrared Physics and Technology March 2024 137
Autor:
Abe, Tatsuya, Kimura, Daisuke
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive operators.
Externí odkaz:
http://arxiv.org/abs/2101.12607
Autor:
Mat Udin, Ahmad Syihan, Uni, Shigehiko, Rodrigues, Jules, Martin, Coralie, Junker, Kerstin, Agatsuma, Takeshi, Low, Van Lun, Saijuntha, Weerachai, Omar, Hasmahzaiti, Zainuri, Nur Afiqah, Fukuda, Masako, Matsubayashi, Makoto, Kimura, Daisuke, Takaoka, Hiroyuki, Ramli, Rosli
Publikováno v:
In Current Research in Parasitology & Vector-Borne Diseases 2024 5
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:
Ito, Asae, Sakuragi, Mio, Kimura, Daisuke, Toda, Kazufumi, Shimatani, Shunichi, Nitta, Koh-Hei
Publikováno v:
In Polymer Testing November 2023 128
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.