Computability with real numbers and light linear logic (Comunicazione a convegno)

Type
Label
  • Computability with real numbers and light linear logic (Comunicazione a convegno) (literal)
Anno
  • 2003-01-01T00:00:00+01:00 (literal)
Alternative label
  • Baillot, P. and Pedicini, M. (2003)
    Computability with real numbers and light linear logic
    in Annual Workshop Progetto COFIN MIUR: ProToCoLLo from proof to computation through linear logic, Verona
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Baillot, P. and Pedicini, M. (literal)
Titolo
  • Computability with real numbers and light linear logic (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it