WoF'15

201520152015

Keyphrases

Publications

2015

Glyn Morrill, Oriol Valentín
Multiplicative-Additive Focusing for Parsing as Deduction. WoF'15 (2015)
Roberto Blanco, Dale Miller
Proof Outlines as Proof Certificates: A System Description. WoF'15 (2015)
Stéphane Graham-Lengrand
Realisability semantics of abstract focussing, formalised. WoF'15 (2015)
Vivek Nigam, Giselle Reis, Leonardo Lima
Towards the Automated Generation of Focused Proof Systems. WoF'15 (2015)

volume 197, 2015

Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. WoF'15 197 (2015)