Vol-1769⫷ Vol-1770 ⫸Vol-1771
urn:nbn:de:0074-1770-0


Vol-1770/ARQNL2016_preface⫷Vol-1770/ARQNL2016_invited1⫸Vol-1770/ARQNL2016_paper1
Revantha Ramanayake

From Axioms to Proof Rules, then add Quantifiers