Confluence by Critical Pair Analysis.

Jiaxiang Liu Nachum Dershowitz Jean-Pierre Jouannaud

Published in: RTA-TLCA (2014)

Keyphrases

data analysis
pattern recognition
quantitative analysis
database
search engine
information systems
image segmentation
optimal solution
data structure
object recognition
pairwise
image analysis