A Process-Model for Linear Programs

PAOLINI, LUCA LUIGI;PICCOLO, Mauro
2009-01-01

2009
TYPES 2008 Post-Proceedings
Torino
26-29 marzo 2008
International Conference on Types for Proofs and Programs, TYPES 2008
Springer Verlag
5497
289
305
978-3-642-02443-6
http://link.springer.com/chapter/10.1007%2F978-3-642-02444-3_18
Luca Paolini; Mauro Piccolo
File in questo prodotto:
File Dimensione Formato  
A Process-Model for Linear Programs - LNCS 2009 ori.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 360.6 kB
Formato Adobe PDF
360.6 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/57721
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact