Comparative Similarity, Tree Automata, and Diophantine Equations.

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev

Browse the full LPAR paper archive.