Index of pubs

 Name                                Last modified     Size  Description

 Parent Directory
 abstractions.ilg          Sun Sep  3 15:57:01 2006   5158k
 abstractions.pdf          Wed Oct 13 10:40:31 2004    192k
 afm07.pdf                 Tue Oct 16  1:40:01 2007    204k
 bmp.pdf                   Mon Jan  9 11:28:45 2006    231k
 boolean_monoids.pdf       Tue Aug 10 12:54:43 2004    183k
 brown-pike-memocode.pdf   Wed Apr 18  1:48:02 2007    202k
 counterex.pdf             Wed Nov 10 12:43:22 2004    242k
 dcc.pdf                   Tue Jan 31  1:29:51 2006    262k
 emsoft.pdf                Thu Jul 28 10:35:47 2005    106k
 fm-ethics.pdf             Mon Dec 24 16:14:55 2007    177k
 index.html                Mon Dec 24 16:14:55 2007      1k
 k_ind.pdf                 Thu Jun  2 22:52:21 2005    729k
 leepike-fmcad.pdf         Wed Aug  1 13:56:59 2007    221k
 phil_p100.pdf             Tue Aug 10 13:25:47 2004     18k
 pike_acl2.pdf             Tue Jan  9 12:37:58 2007    270k
 pike_disproving.pdf       Fri Aug 18 14:52:27 2006    208k
 pike_diss.pdf             Sat Apr 29 21:08:47 2006    999k
 pike_tse06.pdf            Tue May 30  0:47:08 2006     84k
 unified.pdf               Wed Oct 13 10:41:10 2004    213k