Reflection of Formal Tactics in a Deductive Reflection Framework
Authors:
Harald Rueß
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