CINECA IRIS Institutional Research Information System

A Process-Model for Linear Programs

PAOLINI, LUCA LUIGI;PICCOLO, Mauro
2009-01-01
2009
Inglese
contributo
4 - Workshop
TYPES 2008 Post-Proceedings
Torino
26-29 marzo 2008
Internazionale
Berardi; Damiani; DeLiguoro
International Conference on Types for Proofs and Programs, TYPES 2008
Esperti anonimi
Springer Verlag
Heidelberg
GERMANIA
5497
289
305
17
LECTURE NOTES IN COMPUTER SCIENCE
978-3-642-02443-6
WOS:000270350200018
2-s2.0-68749119884
http://link.springer.com/chapter/10.1007%2F978-3-642-02444-3_18
Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers
no
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
2
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
Luca Paolini; Mauro Piccolo
273
reserved
04A-Conference paper in volume
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
  Visualizza/Apri   Richiedi una copia
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