Merge branch 'master' of fettunta.org:/home/zack/git/homepage
[homepage.git] / research / publications /
drwxr-xr-x   ..
-rw-r--r-- 360863 constrainedwiki.pdf
-rw-r--r-- 218725 disambiguation-errors.pdf
-rw-r--r-- 199960 disambiguation.pdf
-rw-r--r-- 279242 flea.pdf
-rw-r--r-- 276157 gmetadom.pdf
-rw-r--r-- 359155 hbugs.pdf
-rw-r--r-- 1192880 master-thesis.pdf
-rw-r--r-- 228038 mathsearch.pdf
-rw-r--r-- 508876 matita-crafting.pdf
-rw-r--r-- 1068749 matita.pdf
-rw-r--r-- 311752 notation.pdf
-rw-r--r-- 2519366 phd-thesis.pdf
-rw-r--r-- 465201 steve-latvia.pdf
-rw-r--r-- 183121 streaming-co-constraints.pdf
-rw-r--r-- 286805 tinycals.pdf
-rw-r--r-- 350558 whelp.pdf
-rw-r--r-- 317897 wiki-templating-tr.pdf
-rw-r--r-- 435954 wiki-templating.pdf