Login / Signup

Computing with relational machines.

Gérard P. HuetBenoît Razet
Published in: Math. Struct. Comput. Sci. (2017)
Keyphrases