Laboratoire de l'Informatique et du Parallélisme » Linear Arithmetic

03/07/2016

23:01 Révision 125: added keywords + classification

Patrick Baillot

02/07/2016

17:30 Révision 124

Anupam Das

17:21 Révision 123

Anupam Das

17:19 Révision 122: finished revision

Anupam Das

16:36 Révision 121: revised up to end of sect 5

Anupam Das

09:54 Révision 120: some updates

Anupam Das

01/07/2016

18:06 Révision 119: should be in sync

Anupam Das

18:04 Révision 118: ignore this

Anupam Das

15:21 Révision 117: added biblio item of Marion 2001, and citation to it in introduction

Patrick Baillot

14:06 Révision 116: various minor corrections

Patrick Baillot