source: papers/FDL2012 @ 79

Name Size Rev Age Author Last Change
../
schema 60   12 years cecile new folder organization
abstraction_refinement.tex 9.8 KB ​ 79   12 years cecile correction counter-example and its negation representation
bbold10.pfb 24.9 KB ​ 49   12 years cecile add math font
bbold.sty 1.8 KB ​ 49   12 years cecile add math font
exp_results.tex 7.3 KB ​ 75   12 years syed /papers/FDL2012/
FDL2012.tex 3.9 KB ​ 75   12 years syed /papers/FDL2012/
framework.tex 12.3 KB ​ 79   12 years cecile correction counter-example and its negation representation
IEEEbib.bst 17.5 KB ​ 48   12 years syed /papers/FDL2012
introduction.tex 7.5 KB ​ 78   12 years syed /papers/FDL2012/
myBib.bib 11.9 KB ​ 76   12 years ema
ordering_filter_properties.tex 13.2 KB ​ 79   12 years cecile correction counter-example and its negation representation
refs.bib 212 bytes ​ 48   12 years syed /papers/FDL2012
spconf.sty 8.6 KB ​ 48   12 years syed /papers/FDL2012
strings.bib 226 bytes ​ 48   12 years syed /papers/FDL2012
Ubbold.fd 1.7 KB ​ 49   12 years cecile add math font
Note: See TracBrowser for help on using the repository browser.