Showing 1 - 1 results of 1 for search 'Paola Bruscoli', query time: 0.02s Refine Results
  1. 1
    Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae

    Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae by Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

    Published 2016-05-01
    Get full text
    Article

Search Tools: