No. Title Author Year
1 Types as Resources for Classical Natural Deduction Kesner, Delia et al. 2017
2 Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers, Organising Commitee Kesner, Delia et al. 2016
3 LIPIcs, Volume 52, FSCD'16, Complete Volume Kesner, Delia et al. 2016
4 Observability for Pair Pattern Calculi Bucciarelli, Antonio et al. 2015
5 Metaconfluence of Calculi with Explicit Substitutions at a Distance de Moura, Flávio L. C. et al. 2014
6 Normalisation for Dynamic Pattern Calculi Bonelli, Eduardo et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI