Search results
Create the page "Talk$Leicester-20071023 Maude.pdf" on this wiki! See also the page found with your search.
- ...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