TYDI-0 ABSTRACTS: EDITOR'S PREFACE
This volume contains the abstract of the invited and contributed talks of the workshop on "Twenty years of Deep Inference", Oxford, July 7, 2018.
Andrea Aler Tubella and Lutz Straßburger
|
|
FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TYDI-0 ABSTRACTS: EDITOR'S PREFACE
This volume contains the abstract of the invited and contributed talks of the workshop on "Twenty years of Deep Inference", Oxford, July 7, 2018.
Andrea Aler Tubella and Lutz Straßburger |
|