File list
This special page shows all uploaded files.
| Date |  Name |
Thumbnail | Size | User | Description | Versions |
|---|---|---|---|---|---|---|
| 02:19, 22 July 2014 | Talk$Eker-unification.pdf (file) |  |
106 KB | Kquine | Steven Eker Unification in Maude at Protocol eXchange Seminar, Naval Postgraduate School, January 2007 | 1 |
| 02:20, 22 July 2014 | Talk$Leicester-20071023 Maude.pdf (file) | |
736 KB | Kquine | Artur Boronat PhD seminar at University of Leicester | 1 |
| 02:20, 22 July 2014 | Talk$Maude-padl10-slides.pdf (file) | |
1.37 MB | Kquine | Narciso MartÃ-Oliet An Introduction to Maude and some of its applications - Invited talk given at PADL 2010 | 1 |
| 02:21, 22 July 2014 | Talk$Riocuarto-maude.pdf (file) | |
1.38 MB | Kquine | Narciso MartÃ-Oliet Maude summer course at Rio Cuarto, Argentina | 1 |
| 14:49, 30 December 2020 | Two-Decades-of-Maude.pdf (file) | |
462 KB | Malaga | 1 |
 First page |
 Previous page |
 Next page |
 Last page |
