Induction Proofs with Partial Functions
Journal of Automated Reasoning
Another Look at Nested Recursion
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions
CL '00 Proceedings of the First International Conference on Computational Logic
Strategic Issues, Problems and Challenges in Inductive Theorem Proving
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |