Typing a Core Binary Field Arithmetic in a Light Logic (Contributo in atti di convegno)

Type
Label
  • Typing a Core Binary Field Arithmetic in a Light Logic (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Alternative label
  • Cesena Emanuele; Pedicini Marco; Roversi Luca; (2011)
    Typing a Core Binary Field Arithmetic in a Light Logic
    in FOPARA 2011, Madrid (Spagna)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Cesena Emanuele; Pedicini Marco; Roversi Luca; (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Emanuele Cesena, Politecnico di Torino, Dip. di Automatica e Informatica, Torino, Italy Marco Pedicini Istituto per le Applicazioni del Calcolo “Mauro Picone”, CNR, Roma, Italy e LIPN – UMR CNRS 7030, Institut Galilèe - Université Paris-Nord - Luca Roversi, Università degli Studi di Torino, Dip. di Informatica, Torino, Italy (literal)
Titolo
  • Typing a Core Binary Field Arithmetic in a Light Logic (literal)
Prodotto di
Autore CNR

Incoming links:


Autore CNR di
Prodotto
data.CNR.it