Index of /xml/Sophia-Antipolis/Float/ClosestPlus
Name
Last modified
Size
Description
Parent Directory
-
ClosestP/
2005-07-05 08:13
-
pPredMoreThanRadix.con.xml.gz
2004-04-09 00:33
426
pPredMoreThanOne.con.xml.gz
2004-04-09 00:33
446
pPredMoreThanRadix_subproof.con.xml.gz
2004-04-09 00:33
446
pPredMoreThanOne_subproof.con.xml.gz
2004-04-09 00:33
465
pPredMoreThanOne.con.body.xml.gz
2004-04-09 00:33
785
pPredMoreThanOne.con.types.xml.gz
2004-04-09 00:33
820
plusExactR0.con.xml.gz
2004-04-09 00:33
872
pPredMoreThanRadix.con.types.xml.gz
2004-04-09 00:33
894
plusExact1.con.xml.gz
2004-04-09 00:32
933
plusExact2.con.xml.gz
2004-04-09 00:33
961
plusExact1bis.con.xml.gz
2004-04-09 00:32
965
plusErrorBound1_subproof0.con.xml.gz
2004-04-09 00:33
1.0K
plusErrorBound1_subproof.con.xml.gz
2004-04-09 00:33
1.0K
plusErrorBound1bis_subproof.con.xml.gz
2004-04-09 00:33
1.0K
plusErrorBound1bis_subproof0.con.xml.gz
2004-04-09 00:33
1.0K
plusExact2Aux.con.xml.gz
2004-04-09 00:33
1.0K
pPredMoreThanRadix.con.body.xml.gz
2004-04-09 00:33
1.1K
errorBoundedPlus.con.xml.gz
2004-04-09 00:32
1.1K
plusErrorBound1withZero.con.xml.gz
2004-04-09 00:33
1.1K
plusExact2Aux_subproof3.con.xml.gz
2004-04-09 00:33
1.1K
errorBoundedPlusAbs.con.xml.gz
2004-04-09 00:32
1.2K
plusErrorBound1.con.xml.gz
2004-04-09 00:33
1.2K
plusErrorBound1bis.con.xml.gz
2004-04-09 00:33
1.2K
errorBoundedPlusLe.con.xml.gz
2004-04-09 00:32
1.2K
plusExact2Aux_subproof0.con.xml.gz
2004-04-09 00:32
1.3K
plusExact2Aux_subproof2.con.xml.gz
2004-04-09 00:33
1.3K
plusExact2Aux_subproof.con.xml.gz
2004-04-09 00:32
1.3K
plusExact2Aux_subproof1.con.xml.gz
2004-04-09 00:32
1.3K
plusExact1_subproof.con.xml.gz
2004-04-09 00:32
1.3K
RoundBound.con.xml.gz
2004-04-09 00:33
1.3K
RoundBound_subproof.con.xml.gz
2004-04-09 00:33
1.4K
errorBoundedPlusLe_subproof.con.xml.gz
2004-04-09 00:32
1.5K
plusExactExp.con.xml.gz
2004-04-09 00:33
1.5K
plusExact1bis.con.types.xml.gz
2004-04-09 00:32
1.8K
plusExact1bis.con.body.xml.gz
2004-04-09 00:32
1.9K
plusExactExpCanonic.con.xml.gz
2004-04-09 00:33
1.9K
INDEX
2005-07-05 08:12
2.0K
plusExactR0.con.body.xml.gz
2004-04-09 00:33
2.8K
plusExactR0.con.types.xml.gz
2004-04-09 00:33
3.8K
plusErrorBound1bis_subproof0.con.types.xml.gz
2004-04-09 00:33
4.2K
pPredMoreThanOne_subproof.con.types.xml.gz
2004-04-09 00:33
4.6K
errorBoundedPlusLe_subproof.con.types.xml.gz
2004-04-09 00:32
4.8K
plusErrorBound1bis_subproof0.con.body.xml.gz
2004-04-09 00:33
5.0K
errorBoundedPlusAbs.con.body.xml.gz
2004-04-09 00:32
5.0K
plusErrorBound1_subproof0.con.types.xml.gz
2004-04-09 00:33
5.1K
plusErrorBound1bis_subproof.con.types.xml.gz
2004-04-09 00:33
5.1K
plusErrorBound1_subproof.con.types.xml.gz
2004-04-09 00:33
5.1K
plusExact2Aux_subproof2.con.types.xml.gz
2004-04-09 00:33
5.2K
pPredMoreThanOne_subproof.con.body.xml.gz
2004-04-09 00:33
5.4K
plusExact2Aux_subproof.con.types.xml.gz
2004-04-09 00:32
5.5K
errorBoundedPlusLe_subproof.con.body.xml.gz
2004-04-09 00:32
5.8K
plusExact2Aux_subproof1.con.types.xml.gz
2004-04-09 00:32
5.8K
plusErrorBound1_subproof0.con.body.xml.gz
2004-04-09 00:33
6.0K
plusErrorBound1_subproof.con.body.xml.gz
2004-04-09 00:33
6.0K
plusErrorBound1bis_subproof.con.body.xml.gz
2004-04-09 00:33
6.0K
plusExact2Aux_subproof3.con.types.xml.gz
2004-04-09 00:33
6.1K
plusExact2Aux_subproof0.con.types.xml.gz
2004-04-09 00:32
6.2K
RoundBound_subproof.con.types.xml.gz
2004-04-09 00:33
6.4K
plusExact2Aux_subproof2.con.body.xml.gz
2004-04-09 00:33
6.6K
errorBoundedPlusAbs.con.types.xml.gz
2004-04-09 00:32
7.0K
plusExact2Aux_subproof.con.body.xml.gz
2004-04-09 00:32
7.4K
plusExact2Aux_subproof1.con.body.xml.gz
2004-04-09 00:32
7.5K
plusExact2Aux_subproof3.con.body.xml.gz
2004-04-09 00:33
7.5K
plusExact2Aux_subproof0.con.body.xml.gz
2004-04-09 00:32
7.7K
RoundBound_subproof.con.body.xml.gz
2004-04-09 00:33
8.1K
plusErrorBound1withZero.con.body.xml.gz
2004-04-09 00:33
8.8K
plusErrorBound1withZero.con.types.xml.gz
2004-04-09 00:33
10K
plusExact2.con.body.xml.gz
2004-04-09 00:33
10K
plusExact1_subproof.con.types.xml.gz
2004-04-09 00:32
11K
pPredMoreThanRadix_subproof.con.types.xml.gz
2004-04-09 00:33
11K
plusExact2.con.types.xml.gz
2004-04-09 00:33
11K
errorBoundedPlus.con.body.xml.gz
2004-04-09 00:32
11K
pPredMoreThanRadix_subproof.con.body.xml.gz
2004-04-09 00:33
14K
plusExact1_subproof.con.body.xml.gz
2004-04-09 00:32
14K
errorBoundedPlus.con.types.xml.gz
2004-04-09 00:32
20K
plusExactExpCanonic.con.body.xml.gz
2004-04-09 00:33
23K
plusExactExp.con.body.xml.gz
2004-04-09 00:33
24K
plusExact1.con.body.xml.gz
2004-04-09 00:32
24K
plusExact1.con.types.xml.gz
2004-04-09 00:32
28K
plusExactExpCanonic.con.types.xml.gz
2004-04-09 00:33
30K
plusExact2Aux.con.body.xml.gz
2004-04-09 00:33
31K
plusExactExp.con.types.xml.gz
2004-04-09 00:33
31K
plusExact2Aux.con.types.xml.gz
2004-04-09 00:33
33K
errorBoundedPlusLe.con.body.xml.gz
2004-04-09 00:32
38K
plusErrorBound1bis.con.body.xml.gz
2004-04-09 00:33
39K
plusErrorBound1.con.body.xml.gz
2004-04-09 00:33
43K
plusErrorBound1bis.con.types.xml.gz
2004-04-09 00:33
45K
RoundBound.con.body.xml.gz
2004-04-09 00:33
52K
plusErrorBound1.con.types.xml.gz
2004-04-09 00:33
53K
errorBoundedPlusLe.con.types.xml.gz
2004-04-09 00:32
54K
RoundBound.con.types.xml.gz
2004-04-09 00:33
65K
Apache/2.4.57 (Debian) Server at mowgli.cs.unibo.it Port 80