Complexity Versus the Church-Rosser Property and Confluence
H. LuckhardtТом:
37
Рік:
1991
Мова:
english
Сторінки:
8
DOI:
10.1002/malq.19910370504
Файл:
PDF, 389 KB
english, 1991