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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI