Author:
Cioni Gianna,Colagrossi Attilio,Temperini Marco
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. S.K. Abdali, G.W. Cherry, N. Soiffer, An Object-Oriented Approach to Algebra System Design, in B.W. Char (Ed.) Proc. of ACM SYMSAC '86, 1986.
2. D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keeneand, G. Kiczales, D. A. Moon, Common Lisp Object System Specification, Techn. Rep. X3J13 doc. 88-002R, 1988.
3. G. Cioni, A. Colagrossi, A. Miola, A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems, Journal of Symbolic Computation, 19, (1–3), 175–199, 1995.
4. P. Di Blasio, M. Temperini, Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems, Journal of Symbolic Computation, 19, (1–3), 39–63, 1995.
5. G. Delzanno, M. Martelli, Objects in Forum, Proc. of Int. Logic Programming Symposium, 1995.