Login / Signup

Primitive recursive selection functions for existential assertions over abstract algebras.

Thomas StrahmJeffery I. Zucker
Published in: J. Log. Algebraic Methods Program. (2008)
Keyphrases