Inheritance of proofs

Authors:
Martin Hofmann;Wolfgang Naraschewski;Martin Steffen;Terry Stroup
Affiliations:
-;-;-;-
Venue:
Theory and Practice of Object Systems - Third workshop on foundations of object-oriented languages (FOOL 3)
Year:
1998

Citing 0
Cited 3

Inheritance in Higher Order Logic: Modeling and Reasoning

TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Object Types against Races

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Proof contexts with late binding

TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract