Showing 1 - 2 results of 2 for search 'Yutaro Nagae', query time: 0.22s Refine Results
  1. 1
    Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems
    by Yutaro Nagae, Masahiko Sakai
    Published 2018-02-01
    Get full text
    Article
  2. 2
    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
Search Tools: Get RSS Feed — Email this Search