A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods von Ikebuchi, Mirai

Volltext

On properties of $B$-terms von Mirai Ikebuchi, Keisuke Nakano

Volltext

Bi-Abduction in Separation Logic with Arrays and Lists for Program Analysis von Daisuke, KIMURA, Makoto, TATSUTA, Faisal, AL AMEEN Mahmudul, Mirai, IKEBUCHI, Koji, NAKAZAWA

Volltext

Certifying derivation of state machines from coroutines von Ikebuchi, Mirai, Erbsen, Andres, Chlipala, Adam

Volltext

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods von Ikebuchi, Mirai

Volltext

On properties of $B$-terms von Ikebuchi, Mirai, Nakano, Keisuke

Volltext bestellen

On repetitive right application of B-terms von Ikebuchi, Mirai, Nakano, Keisuke

Volltext

On properties of \(B\)-terms von Ikebuchi, Mirai, Nakano, Keisuke

Volltext

Verteporfin‑photodynamic therapy is effective on gastric cancer cells von Mae, Yukari, Kanda, Tsutomu, Sugihara, Takaaki, Takata, Tomoaki, Kinoshita, Hidehito, Sakaguchi, Takuki, Hasegawa, Takashi, Tarumoto, Ryohei, Edano, Mirai, Kurumi, Hiroki, Ikebuchi, Yuichiro, Kawaguchi, Koichiro, Isomoto, Hajime

Volltext

Next-generation laser-based photodynamic endoscopic diagnosis using 5-aminolevulinic acid for early gastric adenocarcinoma and gastric adenoma von Sakaguchi, Takuki, Kinoshita, Hidehito, Ikebuchi, Yuichiro, Kanda, Tsutomu, Yamashita, Taro, Kurumi, Hiroki, Fujii, Masashi, Edano, Mirai, Hasegawa, Takashi, Onoyama, Takumi, Yoshida, Akira, Kawaguchi, Koichiro, Yashima, Kazuo, Isomoto, Hajime

Volltext