Structure and representation in LF

Authors:
R. Harper;D. Sannella;A. Tarlecki
Affiliations:
-;-;-
Venue:
Proceedings of the Fourth Annual Symposium on Logic in computer science
Year:
1989

Citing 0
Cited 3

Proof Normalization of Structured Algebraic Specifications Is Convergent

WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Logical frameworks

Handbook of automated reasoning
Combining multiple-valued logics in modular expert systems

UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract