Changeset 3413
- Timestamp:
- Dec 23, 2013, 6:56:23 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
LTS/paper.txt
r3412 r3413 26 26 ] 27 27 28 5. sugo: ??? 28 5. sugo: 29 30 1. prova della passata che mette le post-label (work in progress, why 31 SOS is hard) 32 33 2. predicato di simulazione fra tracce strutturate + prova che tale 34 simulazione dimostra la preservazione dei costi 35 36 3. prova della statico-dinamica: vedi cerco, certificata dal fatto di usare 37 solo chiamate post-label
Note: See TracChangeset
for help on using the changeset viewer.