Login / Signup

Proof search for propositional abstract separation logics via labelled sequents.

Zhe HouRanald CloustonRajeev GoréAlwen Tiu
Published in: POPL (2014)
Keyphrases