Search Results - Kakutani, Yoshihiko

  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    Semi-automated verification of security proofs of quantum cryptographic protocols

    Semi-automated verification of security proofs of quantum cryptographic protocols by Kubota, Takahiro, Kakutani, Yoshihiko, Kato, Go, Kawano, Yasuhito, Sakurada, Hideki

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Induction by Coinduction and Control Operators in Call-by-Name

    Induction by Coinduction and Control Operators in Call-by-Name by Kakutani, Yoshihiko, Kimura, Daisuke

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    Observational Equivalence Using Schedulers for Quantum Processes

    Observational Equivalence Using Schedulers for Quantum Processes by Yasuda, Kazuya, Kubota, Takahiro, Kakutani, Yoshihiko

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  4. 4
    Classical Natural Deduction for S4 Modal Logic

    Classical Natural Deduction for S4 Modal Logic by Kimura, Daisuke, Kakutani, Yoshihiko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    Modality via Iterated Enrichment

    Modality via Iterated Enrichment by Nishiwaki, Yuichi, Kakutani, Yoshihiko, Murase, Yuito

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Calculi for Intuitionistic Normal Modal Logic

    Calculi for Intuitionistic Normal Modal Logic by Kakutani, Yoshihiko

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Axioms for recursion in call-by-value

    Axioms for recursion in call-by-value by HASEGAWA, Masahito, KAKUTANI, Yoshihiko

    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  8. 8
    Induction by Coinduction and Control Operators in Call-by-Name

    Induction by Coinduction and Control Operators in Call-by-Name by Kakutani, Yoshihiko, Kimura, Daisuke

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Observational Equivalence Using Schedulers for Quantum Processes

    Observational Equivalence Using Schedulers for Quantum Processes by Yasuda, Kazuya, Kubota, Takahiro, Kakutani, Yoshihiko

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Modality via Iterated Enrichment

    Modality via Iterated Enrichment by Nishiwaki, Yuichi, Kakutani, Yoshihiko, Murase, Yuito

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    A method for toxicological evaluation of biomaterials based on colony formation of V79 cells

    A method for toxicological evaluation of biomaterials based on colony formation of V79 cells by Kotoura, Yoshihiko, Yamamuro, Takao, Shikata, Jitsuhiko, Kakutani, Yoshiaki, Kitsugi, Toshiaki, Tanaka, Hiroya

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  12. 12
    Strengthening of bone-implant interface by the use of granule coatings on alumina ceramics

    Strengthening of bone-implant interface by the use of granule coatings on alumina ceramics by Kakutani, Yoshiaki, Yamamuro, Takao, Nakamura, Takashi, Kotoura, Yoshihiko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  13. 13
    Apatite-wollastonite containing glass ceramic-fibrin mixture as a bone defect filler

    Apatite-wollastonite containing glass ceramic-fibrin mixture as a bone defect filler by Ono, Kozo, Yamamuro, Takao, Nakamura, Takashi, Kakutani, Yoshiaki, Kitsugi, Toshiaki, Hyakuna, Katsubumi, Kokubo, Tadashi, Oka, Masanori, Kotoura, Yoshihiko

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  14. 14
    The influence of calcium phosphate ceramics and glass-ceramics on cultured cells and their surrounding media

    The influence of calcium phosphate ceramics and glass-ceramics on cultured cells and their surrounding media by Hyakuna, Katsufumi, Yamamuro, Takao, Kotoura, Yoshihiko, Kakutani, Yoshiaki, Kitsugi, Toshiaki, Takagi, Haruki, Oka, Masanori, Kokubo, Tadashi

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

Search Tools: