Sign in

Syntactic Equivalences Inducing Semantic Equivalences.

Pierre-Louis Curien
Published in: European Conference on Computer Algebra (2) (1985)
Keyphrases