The Complexity of Equivariant Unification (0)

by James Cheney
Venue:In Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP 2004), volume 3142 of LNCS
Citations:24 - 7 self