File list
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.
![]() |
Name | Thumbnail | Size | User | Description | Versions |
---|---|---|---|---|---|---|
14:40, 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:56, 16 December 2013 | Moore-2013-prelim-slides.pdf (file) | ![]() | 433 KB | Bmmoore | (Introduce also the symbol in definition of reachability) | 2 |
19:38, 4 December 2013 | Moore-2013-prelim.pdf (file) | ![]() | 250 KB | Bmmoore | 2 | |
00:49, 1 April 2013 | Bmmoore-cv.pdf (file) | ![]() | 80 KB | Bmmoore | (Brandon Moore's CV) | 1 |
00:17, 5 August 2012 | Brandon-moore.jpg (file) | ![]() | 257 KB | Bmmoore | 1 | |
00:01, 5 August 2012 | Brandon-moore-small.jpg (file) | ![]() | 10 KB | Bmmoore | (A 100x100 thumbnail of my (Brandon Moore) portrait.) | 1 |
00:29, 10 July 2012 | RLMaudeExamples.zip (file) | ![]() | 10 KB | Bmmoore | (Reachability Logic examples showing how to capture big and small step semantics in rewriting.) | 1 |