11 Citations
Next Generation Computer Algebra Systems AXIOM and the Scratchpad Concept: Applications to Research in Algebra
- Mathematics
- 1992
- 8
- PDF
Parameter Passing in Algebraic Specification Languages
- Computer Science, Mathematics
- Theor. Comput. Sci.
- 1984
- 53
Algebraic Specifications: Constructive Methodology in Logic Programming
- Mathematics, Computer Science
- EUROCAM
- 1982
- 3
References
SHOWING 1-10 OF 11 REFERENCES
Data type specification: Parameterization and the power of specification techniques
- Mathematics, Computer Science
- STOC '78
- 1978
- 131
Property extraction in well-founded property sets
- Computer Science
- IEEE Transactions on Software Engineering
- 1975
- 98