Author:
Andersen Flemming,Binau Ulla,Nyblad Karsten,Petersen Kim Dam,Pettersson Jimmi S.
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
2. M. J. C. Gordon and T. F. Melham. Introduction to HOL. A theorem proving environment for higher order logic. Cambridge University Press, Computer Laboratory, 1993.
3. K. Slind. HOL90 Users Manual. Technical report, 1992.
4. Beverly A. Sanders. Eliminating the Substitution Axiom from UNITY Logic. Formal Aspects of Computing, 3(2):189–205, April–June 1991.
5. Flemming Andersen. A Theorem Prover for UNITY in Higher Order Logic. PhD thesis, Technical University of Denmark, 1992. Also published as TFL RT 1992-3, Tele Danmark Research, 1992.