Equational reasoning in Isabelle

Authors:
T. Nipkow
Affiliations:
Massachusetts Institute of Technology, Cambridge, MA
Venue:
Science of Computer Programming
Year:
1989

Citing 0
Cited 3

Logical frameworks

Handbook of automated reasoning
Transparent optimisation of rewriting combinators

Journal of Functional Programming
Tactics for reasoning modulo AC in coq

CPP'11 Proceedings of the First international conference on Certified Programs and Proofs

Quantified Score

Hi-index	0.00

Visualization

Abstract