Login / Signup

Higher-order term indexing using substitution trees.

Brigitte Pientka
Published in: ACM Trans. Comput. Log. (2009)
Keyphrases