Showing 1 - 2 results of 2 for search 'Tom Gundersen', query time: 0.02s Refine Results
  1. 1
    Normalisation Control in Deep Inference via Atomic Flows

    Normalisation Control in Deep Inference via Atomic Flows by Alessio Guglielmi, Tom Gundersen

    Published 2008-03-01
    Get full text
    Article
  2. 2
    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: