1996 | ||
---|---|---|
5 | Philip S. Santas: Conditional Categories and Domains. DISCO 1996: 112-125 | |
1995 | ||
4 | Philip S. Santas: A Type System for Computer Algebra. J. Symb. Comput. 19(1-3): 79-109 (1995) | |
1993 | ||
3 | Philip S. Santas: A Type System for Computer Algebra. DISCO 1993: 177-191 | |
2 | EE | Philip S. Santas: A Type System for Computer Algebra (abstract). ISSAC 1993: 77 |
1992 | ||
1 | Philip S. Santas: SYMO2: Objects and Classes for Symbolic Computation Systems. DISCO 1992: 65-84 |