Search Results - Ikebuchi, Mirai

  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

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

    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    On properties of $B$-terms

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

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Certifying derivation of state machines from coroutines

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

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    On repetitive right application of B-terms

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    On properties of \(B\)-terms

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

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Verteporfin‑photodynamic therapy is effective on gastric cancer cells

    Verteporfin‑photodynamic therapy is effective on gastric cancer cells by 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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Next-generation laser-based photodynamic endoscopic diagnosis using 5-aminolevulinic acid for early gastric adenocarcinoma and gastric adenoma

    Next-generation laser-based photodynamic endoscopic diagnosis using 5-aminolevulinic acid for early gastric adenocarcinoma and gastric adenoma by 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

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:

Search Tools: