This special page shows all uploaded files. When filtered by user, only files where that user uploaded the most recent version of the file are shown.
|14:41, 8 January 2017||Moore-2016-thesis-submitted.pdf (file)||495 KB||Bmmoore||(Copy of Brandon Moore's thesis, for reference until it appears in IDEALS.)||1|
|16:57, 16 December 2013||Moore-2013-prelim-slides.pdf (file)||433 KB||Bmmoore||(Introduce also the symbol in definition of reachability)||2|
|19:39, 4 December 2013||Moore-2013-prelim.pdf (file)||250 KB||Bmmoore||2|
|00:50, 1 April 2013||Bmmoore-cv.pdf (file)||80 KB||Bmmoore||(Brandon Moore's CV)||1|
|00:18, 5 August 2012||Brandon-moore.jpg (file)||257 KB||Bmmoore||1|
|00:02, 5 August 2012||Brandon-moore-small.jpg (file)||10 KB||Bmmoore||(A 100x100 thumbnail of my (Brandon Moore) portrait.)||1|
|00:30, 10 July 2012||RLMaudeExamples.zip (file)||10 KB||Bmmoore||(Reachability Logic examples showing how to capture big and small step semantics in rewriting.)||1|