Publication

Found 2 results
Filters: Author is Nao Hirokawa  [Clear All Filters]
2015
Hirokawa N.  2015.  Commutation and Signature Extensions. 4th International Workshop on Confluence. :23-27.
Hirokawa N, Middeldorp A, Moser G.  2015.  Leftmost Outermost Revisited. 26th International Conference on Rewriting Techniques and Applications (RTA 2015). 36:209–222.