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)

Search results