Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

Daniel Raggi (Lead / Corresponding author), Alan Bundy, Gudmund Grov, Alison Pease

Research output: Contribution to journalArticlepeer-review

3 Citations (Scopus)
188 Downloads (Pure)

Fingerprint Dive into the research topics of 'Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science