Index of /staffpages/r_bornat/papers

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]BCSFACSpaper.pdf2006-12-19 18:37 323K 
[   ]Harrisrefinement.pdf2008-10-20 16:05 245K 
[   ]LIFO.pdf2012-04-05 17:29 299K 
[   ]MPC2000.pdf2006-01-31 10:13 139K 
[   ]NaturalDeductionandKripkedisproof.pdf2006-03-20 16:19 1.3M 
[   ]Observing_mental_models.pdf2013-03-10 11:35 242K 
[   ]SimpsonHarrisFACJ.pdf2012-02-28 13:48 607K 
[   ]aarhus.pdf2006-01-31 10:13 866K 
[   ]abducingbarriers.pdf2012-02-28 12:53 496K 
[   ]barrierlogic.pdf2012-04-05 17:30 968K 
[   ]bornatentcs.pdf2006-01-31 10:13 303K 
[   ]camel_hump_retraction.pdf2014-07-24 11:34 224K 
[   ]fractional_permissions.pdf2006-01-31 10:13 62K 
[   ]fryingpan.pdf2006-03-20 19:12 171K 
[   ]japeboxes.pdf2006-01-31 10:13 558K 
[   ]japedisproof.pdf2006-01-31 10:13 567K 
[   ]local_reasoning_and_aliasing.pdf2006-01-31 10:13 145K 
[   ]permission_accounting.pdf2006-01-31 10:13 403K 
[   ]permissions_paper.pdf2006-01-31 10:13 192K 
[   ]rgsl1facs.pdf2012-02-28 13:46 432K 
[   ]separation_and_aliasing.pdf2006-01-31 10:13 160K 

Apache/2.4.18 (Ubuntu) Server at www.eis.mdx.ac.uk Port 80