HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >

Sort by: In order: Results/Page Authors/Record:
Export metadata:
Showing results 1 to 2 of 2
TypeAuthor(s)TitleOther TitlesCitationCitation(alt)Issue Date
articleSato, Haruhiko; Kurihara, Masahito; Winkler, Sarah; Middeldorp, AartConstraint-Based Multi-Completion Procedures for Term Rewriting Systems-IEICE Transactions on Information and Systems-1-Feb-2009
articleWinkler, Sarah; Sato, Haruhiko; Middeldorp, Aart; Kurihara, MasahitoMulti-Completion with Termination Tools-Journal of Automated Reasoning-Mar-2013
Showing results 1 to 2 of 2


Hokkaido University