Yutaro Nagae

According to our database, Yutaro Nagae authored at least 2 papers between 2016 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems.

Yutaro Nagae, Masahiko Sakai

Proceedings of the Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2017

2016

An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems.

Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki

Proceedings of the Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 2016