Masanori Nagashima

Publication Activity (10 Years)

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

Top Topics

Term Rewriting Systems

Stochastic Local Search

Obtain The Optimal Solution

Branch And Bound Search

Top Venues

Theor. Comput. Sci.

Publications

Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida
Inverse Unfold Problem and Its Heuristic Solving. WPTE@RTA/TLCA (2014)
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe
Determinization of conditional term rewriting systems. Theor. Comput. Sci. 464 (2012)