Matrix Interpretations for Proving Termination of Term Rewriting
Jörg Endrullis, Johannes Waldmann, Hans ZantemaVolume:
40
Language:
english
Pages:
26
DOI:
10.1007/s10817-007-9087-9
Date:
March, 2008
File:
PDF, 487 KB
english, 2008