Login / Signup

Object oriented institutions to specify symbolic computation systems.

César DomínguezLaureano LambánJulio Rubio
Published in: RAIRO Theor. Informatics Appl. (2007)
Keyphrases