Travelled to:1 × Italy
1 × USA
Collaborated with:C.Kreitz S.Schmitt A.Nogin S.F.Allen R.L.Constable R.Eaton
Talks about:interact (1) theorem (1) environ (1) connect (1) prover (1) integr (1) assist (1) prove (1) proof (1) nuprl (1)
Person: Lori Lorigo
DBLP: Lorigo:Lori
Contributed to:
2001
2000Wrote 2 papers:
- IJCAR-2001-SchmittLKN #interactive #proving #theorem proving
- JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants (SS, LL, CK, AN), pp. 421–426.
- CADE-2000-AllenCEKL #logic
- The Nuprl Open Logical Environment (SFA, RLC, RE, CK, LL), pp. 170–176.