Critical Pair Analysis in Nominal Rewriting.

Takaki Suzuki Kentaro Kikuchi Takahito Aoto Yoshihito Toyama

Published in: SCSS (2016)

Keyphrases

statistical analysis
genetic algorithm
three dimensional
information technology
information retrieval
artificial intelligence
multiscale
search algorithm