File list

Jump to: navigation, search

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.

File list
Items per page:
Search for media name:

descDate Name Thumbnail Size User Description Versions
14:40, 8 January 2017Moore-2016-thesis-submitted.pdf (file)495 KBBmmoore (Copy of Brandon Moore's thesis, for reference until it appears in IDEALS.)1
16:56, 16 December 2013Moore-2013-prelim-slides.pdf (file)433 KBBmmoore (Introduce also the symbol in definition of reachability)2
19:38, 4 December 2013Moore-2013-prelim.pdf (file)250 KBBmmoore 2
00:49, 1 April 2013Bmmoore-cv.pdf (file)80 KBBmmoore (Brandon Moore's CV)1
00:17, 5 August 2012Brandon-moore.jpg (file)257 KBBmmoore 1
00:01, 5 August 2012Brandon-moore-small.jpg (file)10 KBBmmoore (A 100x100 thumbnail of my (Brandon Moore) portrait.)1
00:29, 10 July (file)10 KBBmmoore (Reachability Logic examples showing how to capture big and small step semantics in rewriting.)1

Personal tools