Author:
Coglio Alessandro,Giunchiglia Fausto,Meseguer José,Talcott Carolyn L.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Armando, A., Ranise, S.: From Integrated Reasoning Specialists to “Plug-and-Play” Reasoning Components. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol. 1476, p. 42. Springer, Heidelberg (1998); also available as DIST Technical Report 97-0049, University of Genova, Italy
2. Astesiano, E., Kreowski, H.-J., Krieg-Brückner, B. (eds.): Algebraic Foundations of Systems Specifications. IFIP State-of-the-Art Reports. Springer, Hidleberg (1999)
3. Bertoli, P.G.: Using OMRS in Practice: A Case Study with ACL2. PhD thesis, University of Rome 3 (1997)
4. Bertoli, P.G., Calmet, J., Homann, K., Giunchiglia, F.: Specification and Integration of Theorem Provers and Computer Algebra Systems. In: Calmet, J., Plaza, J. (eds.) AISC 1998. LNCS (LNAI), vol. 1476, p. 94. Springer, Heidelberg (1998); also Technical Report 9804-03, IRST, Trento, Italy (April 1998)
5. Boyer, R.S., Moore, J.S.: A Computational Logic. Academic Press, London (1979)