Alimujiang YASEN


Name Binding is Easy with Hypergraphs
Alimujiang YASEN Kazunori UEDA 
Publication:   
Publication Date: 2018/04/01
Vol. E101-D  No. 4  pp. 1126-1140
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
name bindingsubstitutionhypergraph rewritinggraph typeformal systems
 Summary | Full Text:PDF(965.1KB)