Cover von Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations opens in new tab

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Year: 2008
Media group: ARTICLE

Details

Search for this author
Year: 2008
opens in new tab
Search for this systematic
Search for this subject type
Participating parties: Search for this character Moser, Georg; Schnabl, Andreas; Waldmann, Johannes
Media group: ARTICLE