Index of /xml/Sophia-Antipolis/Float/FroundPlus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ExactMinusInterval.con.body.xml.gz2004-04-09 00:32 6.2K 
[ ]ExactMinusInterval.con.types.xml.gz2004-04-09 00:32 7.4K 
[ ]ExactMinusInterval.con.xml.gz2004-04-09 00:32 1.4K 
[ ]ExactMinusIntervalAux.con.body.xml.gz2004-04-09 00:32 156K 
[ ]ExactMinusIntervalAux.con.types.xml.gz2004-04-09 00:32 164K 
[ ]ExactMinusIntervalAux.con.xml.gz2004-04-09 00:32 1.6K 
[ ]ExactMinusIntervalAux1.con.body.xml.gz2004-04-09 00:32 13K 
[ ]ExactMinusIntervalAux1.con.types.xml.gz2004-04-09 00:32 13K 
[ ]ExactMinusIntervalAux1.con.xml.gz2004-04-09 00:32 1.4K 
[ ]ExactMinusIntervalAux_subproof.con.body.xml.gz2004-04-09 00:31 7.1K 
[ ]ExactMinusIntervalAux_subproof.con.types.xml.gz2004-04-09 00:31 5.9K 
[ ]ExactMinusIntervalAux_subproof.con.xml.gz2004-04-09 00:31 2.2K 
[ ]ExactMinusIntervalAux_subproof0.con.body.xml.gz2004-04-09 00:31 11K 
[ ]ExactMinusIntervalAux_subproof0.con.types.xml.gz2004-04-09 00:31 8.7K 
[ ]ExactMinusIntervalAux_subproof0.con.xml.gz2004-04-09 00:31 2.3K 
[ ]ExactMinusIntervalAux_subproof1.con.body.xml.gz2004-04-09 00:31 9.5K 
[ ]ExactMinusIntervalAux_subproof1.con.types.xml.gz2004-04-09 00:31 7.8K 
[ ]ExactMinusIntervalAux_subproof1.con.xml.gz2004-04-09 00:31 2.6K 
[ ]ExactMinusIntervalAux_subproof2.con.body.xml.gz2004-04-09 00:32 9.3K 
[ ]ExactMinusIntervalAux_subproof2.con.types.xml.gz2004-04-09 00:32 7.6K 
[ ]ExactMinusIntervalAux_subproof2.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof3.con.body.xml.gz2004-04-09 00:32 8.1K 
[ ]ExactMinusIntervalAux_subproof3.con.types.xml.gz2004-04-09 00:32 6.6K 
[ ]ExactMinusIntervalAux_subproof3.con.xml.gz2004-04-09 00:32 2.5K 
[ ]ExactMinusIntervalAux_subproof4.con.body.xml.gz2004-04-09 00:32 12K 
[ ]ExactMinusIntervalAux_subproof4.con.types.xml.gz2004-04-09 00:32 9.6K 
[ ]ExactMinusIntervalAux_subproof4.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof5.con.body.xml.gz2004-04-09 00:32 9.3K 
[ ]ExactMinusIntervalAux_subproof5.con.types.xml.gz2004-04-09 00:32 7.6K 
[ ]ExactMinusIntervalAux_subproof5.con.xml.gz2004-04-09 00:32 2.5K 
[ ]ExactMinusIntervalAux_subproof6.con.body.xml.gz2004-04-09 00:32 11K 
[ ]ExactMinusIntervalAux_subproof6.con.types.xml.gz2004-04-09 00:32 8.5K 
[ ]ExactMinusIntervalAux_subproof6.con.xml.gz2004-04-09 00:32 2.7K 
[ ]ExactMinusIntervalAux_subproof7.con.body.xml.gz2004-04-09 00:32 13K 
[ ]ExactMinusIntervalAux_subproof7.con.types.xml.gz2004-04-09 00:32 9.7K 
[ ]ExactMinusIntervalAux_subproof7.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof8.con.body.xml.gz2004-04-09 00:32 14K 
[ ]ExactMinusIntervalAux_subproof8.con.types.xml.gz2004-04-09 00:32 11K 
[ ]ExactMinusIntervalAux_subproof8.con.xml.gz2004-04-09 00:32 2.7K 
[ ]ExactMinusIntervalAux_subproof9.con.body.xml.gz2004-04-09 00:32 13K 
[ ]ExactMinusIntervalAux_subproof9.con.types.xml.gz2004-04-09 00:32 9.7K 
[ ]ExactMinusIntervalAux_subproof9.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof10.con.body.xml.gz2004-04-09 00:32 14K 
[ ]ExactMinusIntervalAux_subproof10.con.types.xml.gz2004-04-09 00:32 11K 
[ ]ExactMinusIntervalAux_subproof10.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof11.con.body.xml.gz2004-04-09 00:32 8.5K 
[ ]ExactMinusIntervalAux_subproof11.con.types.xml.gz2004-04-09 00:32 7.0K 
[ ]ExactMinusIntervalAux_subproof11.con.xml.gz2004-04-09 00:32 2.6K 
[ ]ExactMinusIntervalAux_subproof12.con.body.xml.gz2004-04-09 00:32 10K 
[ ]ExactMinusIntervalAux_subproof12.con.types.xml.gz2004-04-09 00:32 8.3K 
[ ]ExactMinusIntervalAux_subproof12.con.xml.gz2004-04-09 00:32 2.6K 
[DIR]FRoundP/2005-07-05 08:13 -  
[ ]INDEX2005-07-05 08:12 3.2K 
[ ]LSBMinus.con.body.xml.gz2004-04-09 00:32 6.2K 
[ ]LSBMinus.con.types.xml.gz2004-04-09 00:32 5.0K 
[ ]LSBMinus.con.xml.gz2004-04-09 00:32 750  
[ ]LSBPlus.con.body.xml.gz2004-04-09 00:32 6.2K 
[ ]LSBPlus.con.types.xml.gz2004-04-09 00:32 5.0K 
[ ]LSBPlus.con.xml.gz2004-04-09 00:32 748  
[ ]MSBroundLSB.con.body.xml.gz2004-04-09 00:32 3.0K 
[ ]MSBroundLSB.con.types.xml.gz2004-04-09 00:32 2.9K 
[ ]MSBroundLSB.con.xml.gz2004-04-09 00:32 953  
[ ]minusRoundRep.con.body.xml.gz2004-04-09 00:31 24K 
[ ]minusRoundRep.con.types.xml.gz2004-04-09 00:31 28K 
[ ]minusRoundRep.con.xml.gz2004-04-09 00:31 1.2K 
[ ]plusExpBound.con.body.xml.gz2004-04-09 00:31 19K 
[ ]plusExpBound.con.types.xml.gz2004-04-09 00:31 20K 
[ ]plusExpBound.con.xml.gz2004-04-09 00:31 1.3K 
[ ]plusExpBound_subproof.con.body.xml.gz2004-04-09 00:31 17K 
[ ]plusExpBound_subproof.con.types.xml.gz2004-04-09 00:31 14K 
[ ]plusExpBound_subproof.con.xml.gz2004-04-09 00:31 1.6K 
[ ]plusExpBound_subproof0.con.body.xml.gz2004-04-09 00:31 16K 
[ ]plusExpBound_subproof0.con.types.xml.gz2004-04-09 00:31 13K 
[ ]plusExpBound_subproof0.con.xml.gz2004-04-09 00:31 1.4K 
[ ]plusExpBound_subproof1.con.body.xml.gz2004-04-09 00:31 12K 
[ ]plusExpBound_subproof1.con.types.xml.gz2004-04-09 00:31 8.7K 
[ ]plusExpBound_subproof1.con.xml.gz2004-04-09 00:31 1.5K 
[ ]plusExpBound_subproof2.con.body.xml.gz2004-04-09 00:31 12K 
[ ]plusExpBound_subproof2.con.types.xml.gz2004-04-09 00:31 8.7K 
[ ]plusExpBound_subproof2.con.xml.gz2004-04-09 00:31 1.5K 
[ ]plusExpBound_subproof3.con.body.xml.gz2004-04-09 00:31 12K 
[ ]plusExpBound_subproof3.con.types.xml.gz2004-04-09 00:31 8.7K 
[ ]plusExpBound_subproof3.con.xml.gz2004-04-09 00:31 1.5K 
[ ]plusExpBound_subproof4.con.body.xml.gz2004-04-09 00:31 15K 
[ ]plusExpBound_subproof4.con.types.xml.gz2004-04-09 00:31 12K 
[ ]plusExpBound_subproof4.con.xml.gz2004-04-09 00:31 1.6K 
[ ]plusExpBound_subproof5.con.body.xml.gz2004-04-09 00:31 17K 
[ ]plusExpBound_subproof5.con.types.xml.gz2004-04-09 00:31 15K 
[ ]plusExpBound_subproof5.con.xml.gz2004-04-09 00:31 1.6K 
[ ]plusExpBound_subproof6.con.body.xml.gz2004-04-09 00:31 12K 
[ ]plusExpBound_subproof6.con.types.xml.gz2004-04-09 00:31 8.7K 
[ ]plusExpBound_subproof6.con.xml.gz2004-04-09 00:31 1.5K 
[ ]plusExpMin.con.body.xml.gz2004-04-09 00:31 6.6K 
[ ]plusExpMin.con.types.xml.gz2004-04-09 00:31 9.5K 
[ ]plusExpMin.con.xml.gz2004-04-09 00:31 1.1K 
[ ]plusExpUpperBound.con.body.xml.gz2004-04-09 00:31 16K 
[ ]plusExpUpperBound.con.types.xml.gz2004-04-09 00:31 19K 
[ ]plusExpUpperBound.con.xml.gz2004-04-09 00:31 1.2K 
[ ]plusExpUpperBound_subproof.con.body.xml.gz2004-04-09 00:31 5.7K 
[ ]plusExpUpperBound_subproof.con.types.xml.gz2004-04-09 00:31 4.7K 
[ ]plusExpUpperBound_subproof.con.xml.gz2004-04-09 00:31 932  
[ ]plusExpUpperBound_subproof0.con.body.xml.gz2004-04-09 00:31 4.9K 
[ ]plusExpUpperBound_subproof0.con.types.xml.gz2004-04-09 00:31 4.2K 
[ ]plusExpUpperBound_subproof0.con.xml.gz2004-04-09 00:31 932  
[ ]radixRangeBoundExp.con.body.xml.gz2004-04-09 00:31 18K 
[ ]radixRangeBoundExp.con.types.xml.gz2004-04-09 00:31 20K 
[ ]radixRangeBoundExp.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof.con.body.xml.gz2004-04-09 00:31 5.6K 
[ ]radixRangeBoundExp_subproof.con.types.xml.gz2004-04-09 00:31 4.6K 
[ ]radixRangeBoundExp_subproof.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof0.con.body.xml.gz2004-04-09 00:31 9.5K 
[ ]radixRangeBoundExp_subproof0.con.types.xml.gz2004-04-09 00:31 6.9K 
[ ]radixRangeBoundExp_subproof0.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof1.con.body.xml.gz2004-04-09 00:31 6.7K 
[ ]radixRangeBoundExp_subproof1.con.types.xml.gz2004-04-09 00:31 5.5K 
[ ]radixRangeBoundExp_subproof1.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof2.con.body.xml.gz2004-04-09 00:31 12K 
[ ]radixRangeBoundExp_subproof2.con.types.xml.gz2004-04-09 00:31 8.9K 
[ ]radixRangeBoundExp_subproof2.con.xml.gz2004-04-09 00:31 1.2K 
[ ]radixRangeBoundExp_subproof3.con.body.xml.gz2004-04-09 00:31 6.7K 
[ ]radixRangeBoundExp_subproof3.con.types.xml.gz2004-04-09 00:31 5.5K 
[ ]radixRangeBoundExp_subproof3.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof4.con.body.xml.gz2004-04-09 00:31 5.6K 
[ ]radixRangeBoundExp_subproof4.con.types.xml.gz2004-04-09 00:31 4.6K 
[ ]radixRangeBoundExp_subproof4.con.xml.gz2004-04-09 00:31 1.0K 
[ ]radixRangeBoundExp_subproof5.con.body.xml.gz2004-04-09 00:31 9.5K 
[ ]radixRangeBoundExp_subproof5.con.types.xml.gz2004-04-09 00:31 6.9K 
[ ]radixRangeBoundExp_subproof5.con.xml.gz2004-04-09 00:31 1.0K 
Apache/2.4.61 (Debian) Server at mowgli.cs.unibo.it Port 80