Patrick Baillot
- Email :
- Inscrit le : 16/01/2013
- Dernière connexion : 18/01/2018
Projets
- Linear Arithmetic (Manager, Developer, Reporter, 22/03/2016)
Activité
Demandes soumises : 0
18/05/2017
- 12:27 Linear Arithmetic Révision 270: completeness proof : changed case z \neq 0 in the formula for predicative minimisa...
07/05/2017
- 11:13 Linear Arithmetic Révision 266: .
06/05/2017
- 16:02 Linear Arithmetic Révision 264: .
- 15:57 Linear Arithmetic Révision 263: proofs of example 20
04/05/2017
- 16:08 Linear Arithmetic Révision 260: .
03/05/2017
- 12:09 Linear Arithmetic Révision 253: .
- 12:02 Linear Arithmetic Révision 252: corrected example 5
01/05/2017
- 00:06 Linear Arithmetic Révision 250: proof of minimisation lemma, in appendic completeness
29/04/2017
- 14:55 Linear Arithmetic Révision 243: .
- 14:50 Linear Arithmetic Révision 242: .
Formats disponibles : Atom