
An O(n1.5) algorithm to decide boundedness for conflict-free vector replacement systems
Rodney R. Howell, Louis E. Rosier, Hsu-Chun YenVolume:
25
Année:
1987
Langue:
english
Pages:
7
DOI:
10.1016/0020-0190(87)90089-5
Fichier:
PDF, 586 KB
english, 1987