Reduced Dependency Spaces for Existential Parameterised Boolean Equation Systems

by Yutaro Nagae, Masahiko Sakai
Published 2018-02-01

An Extension of Proof Graphs for Disjunctive Parameterised Boolean Equation Systems

by Yutaro Nagae, Masahiko Sakai, Hiroyuki Seki
Published 2017-01-01

On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms

by Naoki Nishida, Masahiko Sakai, Yasuhiro Nakano
Published 2013-11-01

Sound Structure-Preserving Transformation for Weakly-Left-Linear Deterministic Conditional Term Rewriting Systems

by Ryota Nakayama, Naoki Nishida, Masahiko Sakai
Published 2017-01-01

Transforming Dependency Chains of Constrained TRSs into Bounded Monotone Sequences of Integers

by Tomohiro Sasano, Naoki Nishida, Masahiko Sakai, Tomoya Ueyama
Published 2018-02-01

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