Showing 1 - 6 results of 6 for search 'Masahiko Sakai', query time: 0.03s Refine Results
  1. 1
    Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems

    Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems by Yutaro Nagae, Masahiko Sakai

    Published 2018-02-01
    Get full text
    Article
  2. 2
    On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms

    On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms by Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano

    Published 2013-11-01
    Get full text
    Article
  3. 3
    An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems

    An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems by Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki

    Published 2017-01-01
    Get full text
    Article
  4. 4
    Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

    Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems by Ryota Nakayama, Naoki Nishida, Masahiko Sakai

    Published 2017-01-01
    Get full text
    Article
  5. 5
    Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity

    Soundness of Unravelings for Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity by Naoki Nishida, Masahiko Sakai, Toshiki Sakabe

    Published 2012-08-01
    Get full text
    Article
  6. 6
    Synthesis of six-membered silacycles by borane-catalyzed double sila-Friedel–Crafts reaction

    Synthesis of six-membered silacycles by borane-catalyzed double sila-Friedel–Crafts reaction by Yafang Dong, Masahiko Sakai, Kazuto Fuji, Kohei Sekine, Yoichiro Kuninobu

    Published 2020-03-01
    Get full text
    Article

Search Tools: