/CSL17 - Dépôt - Linear Arithmetic - Forge du Centre Blaise Pascal

Nom	Taille	Révision	Âge	Auteur	Commentaire
arithmetic.tex	1,49 ko	157	plus de 8 ans	Anupam Das
cc-by.pdf	58,48 ko	152	plus de 8 ans	Anupam Das	added csl17 dir
conclusions.tex	1 ko	157	plus de 8 ans	Anupam Das
intro.tex	7,23 ko	156	plus de 8 ans	Anupam Das
lipics-logo-bw.pdf	13,42 ko	152	plus de 8 ans	Anupam Das	added csl17 dir
lipics-v2016.cls	24,33 ko	152	plus de 8 ans	Anupam Das	added csl17 dir
main.tex	3,59 ko	156	plus de 8 ans	Anupam Das
ph-biblio.bib	14,06 ko	163	plus de 8 ans	Patrick Baillot	+ 1 reference
ph-macros.tex	1,89 ko	161	plus de 8 ans	Patrick Baillot	preliminaries: definitions PH
preliminaries.tex	9,97 ko	164	plus de 8 ans	Patrick Baillot	corrected polynomial checking lemma
pv-theories.tex	14,92 ko	158	plus de 8 ans	Anupam Das

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

#	Date	Auteur	Commentaire
164	30/03/2017 12:13	Patrick Baillot	corrected polynomial checking lemma
163	30/03/2017 12:08	Patrick Baillot	+ 1 reference
162	29/03/2017 22:41	Patrick Baillot	.
161	29/03/2017 22:32	Patrick Baillot	preliminaries: definitions PH
160	29/03/2017 16:16	Patrick Baillot	added in preliminaries the polychecking lemma
159	29/03/2017 12:42	Patrick Baillot	added definitions mubc
158	28/03/2017 21:49	Anupam Das
157	28/03/2017 15:44	Anupam Das
156	28/03/2017 01:53	Anupam Das
154	27/03/2017 17:47	Anupam Das	added basic template