A Process-Model for Linear Programs

Contributo in Atti di convegno
Data di Pubblicazione:
2009
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
Luca Paolini; Mauro Piccolo
Autori di Ateneo:
PAOLINI Luca Luigi
Link alla scheda completa:
https://iris.unito.it/handle/2318/57721
Titolo del libro:
International Conference on Types for Proofs and Programs, TYPES 2008
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series