Extensions to the Estimation Calculus
LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Specification and Verification of a Formal System for Structurally Recursive Functions
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
A predicative analysis of structural recursion
Journal of Functional Programming
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Journal of Automated Reasoning
Termination and productivity checking with continuous types
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Obvious properties of computer programs
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Summaries for while programs with recursion
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Hi-index | 0.00 |