Login / Signup

Unification over Distributive Exponentiation (Sub)Theories.

Serdar ErbaturAndrew M. MarshallDeepak KapurPaliath Narendran
Published in: J. Autom. Lang. Comb. (2011)
Keyphrases