Search Results - Tom Gundersen

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

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

    Published in Logical Methods in Computer Science (2008-03-01)
    Get full text
    Article


  2. 2

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

    Published in Logical Methods in Computer Science (2016-05-01)
    Get full text
    Article


Search Tools: