 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00519865, version 1 |
| Detailed view |  Export this paper |
 |
| LINEARITY 2009, Portugal (2009) |
|
|
|
|
| On linear information systems |
|
|
| Antonio Bucciarelli 1Thomas Ehrhard 1 |
|
|
| (2009) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 2: | Dipartimento di Informatica |
|
|
|
Università degli studi Ca' Foscari di Venezia |
|
|
|
|
|
|
|
|
|
| hal-00519865, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00519865 | |
| oai:hal.archives-ouvertes.fr:hal-00519865 | |
| From: Antonio Bucciarelli | |
| Submitted on: Tuesday, 21 September 2010 16:11:45 | |
| Updated on: Saturday, 12 May 2012 09:20:09 | |
