Travelled to:1 × Germany
1 × USA
Collaborated with:R.Goré A.Tiu R.Clouston
Talks about:separ (2) logic (2) proposit (1) abstract (1) theorem (1) sequent (1) connect (1) search (1) assert (1) prove (1)
Person: Zhe Hou
DBLP: Hou:Zhe
Contributed to:
2015
2014Wrote 2 papers:
- CADE-2015-HouGT #automation #logic #proving #theorem proving
- Automated Theorem Proving for Assertions in Separation Logic with All Connectives (ZH, RG, AT), pp. 501–516.
- POPL-2014-HouCGT #logic #proving
- Proof search for propositional abstract separation logics via labelled sequents (ZH, RC, RG, AT), pp. 465–476.