Cover von Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6 opens in new tab

Variants, Unification, Narrowing, and Symbolic Reachability in Maude 2.6

Year: 2011
Media group: ARTICLE

Details

Search for this author
Year: 2011
opens in new tab
Search for this systematic
Search for this subject type
Participating parties: Search for this character Duran, Francisco; Eker, Steven M.; Escobar, Santiago; Meseguer, Jose; Talcott, Carolyn L.
Media group: ARTICLE