Implementing nominal unification

Cached

Download Links

by Christophe Calvès , Maribel Fernández
Venue:In 3rd Int. Workshop on Term Graph Rewriting (TERMGRAPH’06), Vienna, Electronic
Citations:6 - 2 self