Termination of Algorithms over Non-freely Generated Data Types

Authors:
Claus Sengler
Affiliations:
-
Venue:
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Year:
1996

Citing 0
Cited 2

Extensions to the Estimation Calculus

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
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

Quantified Score

Hi-index	0.00

Visualization

Abstract