Login / Signup
Rebecca Lea Morris
ORCID
Publication Activity (10 Years)
Years Active: 2016-2021
Publications (10 Years): 4
Top Topics
Plan Repair
Partial Plans
Macro Actions
Theorem Prover
Top Venues
Rev. Symb. Log.
Synth.
</>
Publications
</>
Rebecca Lea Morris
Do mathematical explanations have instrumental value?
Synth.
198 (2) (2021)
Yacin Hamami
,
Rebecca Lea Morris
Plans and Planning in Mathematical Proofs.
Rev. Symb. Log.
14 (4) (2021)
Rebecca Lea Morris
Motivated Proofs: What they are, Why they Matter and How to Write them.
Rev. Symb. Log.
13 (1) (2020)
Jeremy Avigad
,
Rebecca Lea Morris
Character and Object.
Rev. Symb. Log.
9 (3) (2016)