Cover von Revisiting Matrix Interpretations for Proving Termination of Term Rewriting opens in new tab

Revisiting Matrix Interpretations for Proving Termination of Term Rewriting

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 Neurauter, Friedrich; Middeldorp, Aart
Media group: ARTICLE