BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tiu:Alwen_Fernanto

Contributed to:

TACAS 20062006
LICS 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.