Login / Signup

Computing knowledge in equational extensions of subterm convergent theories.

Serdar ErbaturAndrew M. MarshallChristophe Ringeissen
Published in: Math. Struct. Comput. Sci. (2020)
Keyphrases