Author:
Monroy Raúl,Bundy Alan,Green Ian
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Bundy, A.: The use of explicit plans to guide inductive proofs. In: Lusk, R., Overbeek, R. (eds.) 9th Conference on Automated Deduction, pp. 111–120. Springer, Heidelberg (1988)
2. Bundy, A., Stevens, A., van Harmelen, F., Ireland, A., Smaill, A.: Rippling: A heuristic for guiding inductive proofs. Artificial Intelligence 62, 185–253 (1993)
3. Bundy, A., van Harmelen, F., Hesketh, J., Smaill, A.: Experiments with proof plans for induction. Journal of Automated Reasoning 7, 303–324 (1991)
4. Cleaveland, R., Panangaden, P.: Type Theory and Concurrency. International Journal of Parallel Programming 17(2), 153–206 (1988)
5. ISO. Information processing systems - Open Systems Interconnection - LOTOS - A formal description technique based on the temporal ordering of observational behaviour. ISO 8807 (1989)