Login / Signup

Completeness in Data Type Specifications.

Emmanuel Kounalis
Published in: European Conference on Computer Algebra (2) (1985)
Keyphrases