The Tecton Proof System

Authors:
Deepak Kapur;David R. Musser;Xumin Nie
Affiliations:
-;-;-
Venue:
Proceedings of the Workshop on Formal Methods in Databases and Software Engineering
Year:
1992

Citing 0
Cited 3

Reasoning Theories

Journal of Automated Reasoning
Towards an automatic complexity analysis for generic programs

Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract