Termination modulo equations by abstract commutation with an application to iteration
Wan Fokkink, Hans ZantemaVolume:
177
Year:
1997
Language:
english
Pages:
17
DOI:
10.1016/s0304-3975(96)00254-x
File:
PDF, 1.01 MB
english, 1997