Makishi Yanagisawa

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Term Rewriting Systems

Random Field Model

Conditional Probabilities

Top Venues

Publications

Naoki Nishida, Makishi Yanagisawa, Karl Gmeiner
On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings. WPTE@RTA/TLCA (2014)