Travelled to:1 × Austria
1 × Canada
Collaborated with:D.Miller P.Fontaine J.Marion S.Merz L.P.Nieto
Talks about:proof (2) judgment (1) interact (1) abstract (1) generic (1) express (1) toward (1) theori (1) solver (1) extend (1)
Person: Alwen Fernanto Tiu
DBLP: Tiu:Alwen_Fernanto
Contributed to:
2006
2003Wrote 2 papers:
- TACAS-2006-FontaineMMNT #automation #interactive #proving #smt #towards
- Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants (PF, JYM, SM, LPN, AFT), pp. 167–181.
- LICS-2003-MillerT #proving
- A Proof Theory for Generic Judgments: An extended abstract (DM, AFT), pp. 118–127.