Search results
Create the page "Talk$Eker-unification.pdf" on this wiki! See also the search results found.
Page title matches
File:Talk$Eker-unification.pdf (106 KB) - 02:19, 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, Naval Postgraduate Schoo1,000 B (147 words) - 02:24, 22 July 2014