A unified-algebra-based specification language for symbolic computing-Reference-Cited by-同舟云学术

A unified-algebra-based specification language for symbolic computing

Published: Issue: Volume: Page:122-133
ISSN:
Container-title:Design and Implementation of Symbolic Computation Systems
language:
Short-container-title:

Author:

Calmet J.,Tjandra I. A.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0013173

Reference21 articles.

1. J.A. Bergstra, J. Heering, and P. Klint. Algebraic Specification. Addison-Wesley Publising Company, 1989.

2. R.J. Bradford, A.C. Hearn, J.A. Padget, and E. Schrufer. Enlarging the Reduce domain of computation. In SYMSAC 1986, pages 100–106. ACM, New York, 1986.

3. J. Calmet and I.A. Tjandra. Specifying type polymorphisms in symbolic computing with formal. In preparation, 1993.

4. J. Calmet, I.A. Tjandra, and G. Bittencourt. Mantra: A shell for hybrid knowledge representation. In IEEE-Conference on Tools for AI, pages 164–171. IEEE, IEEE Computer Society Press, 1991.

5. J Calmet, I.A. Tjandra, and K. Homann. Unified domains and abstract computational structures (to be published). In J. Calmet and J. Campbell, editors, Int. Conference on Ai and Symbolic Computations. Springer-Verlag, LNCS, 1993.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Object oriented institutions to specify symbolic computation systems;RAIRO - Theoretical Informatics and Applications;2007-04

2. Computer algebra and artificial intelligence;Mathematics and Computers in Simulation;1998-01

3. Tools for solving problems in the scope of algebraic programming;Integrating Symbolic Mathematical Computation and Artificial Intelligence;1995

4. Combining theorem proving and symbolic mathematical computing;Integrating Symbolic Mathematical Computation and Artificial Intelligence;1995

5. Theories = signatures + propositions used as types;Integrating Symbolic Mathematical Computation and Artificial Intelligence;1995