Rezultati - Tom Gundersen

  • Mostrando 1 - 2 resultados de 2
Refinar Resultados
Seznam   Mreža  
  1. 1

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

    Izdano 2008-03-01
    Polni tekst
    Artigo
    Dodaj v priljubljene
    Shranjeno v:
  2. 2

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

    Izdano 2016-05-01
    Polni tekst
    Artigo
    Dodaj v priljubljene
    Shranjeno v:

Iskalna orodja: