Structuring Metatheory on Inductive Definitions
Authors:
David A. Basin;Seán Matthews
Affiliations:
-;-
Venue:
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Year:
1996
Citing
0
Cited
1
Logical frameworks
Handbook of automated reasoning
Quantified Score
Hi-index
0.00
Visualization
Abstract