[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 1631 || A Rewrite System Associated with Quadratic Pisot Units
Narendran, Paliath, Rusinowitch, MichaelVolume:
10.1007/3-
Year:
1999
Language:
english
DOI:
10.1007/3-540-48685-2_28
File:
PDF, 324 KB
english, 1999