Search results
Create the page "Talk$Leicester-20071023 Maude.pdf" on this wiki! See also the search results found.
Page title matches
File:Talk$Leicester-20071023 Maude.pdf (736 KB) - 02:20, 22 July 2014
Page text matches
- ...ides.pdf|An Introduction to Maude and some of its applications]] - Invited talk given at PADL 2010 :[[Media:Talk$Eker-unification.pdf|Unification in Maude at Protocol eXchange Seminar, Nav1,000 B (147 words) - 02:24, 22 July 2014