Decision-procedures for invariant properties of short algorithms
N. K. KosovskiiVolume:
20
Language:
english
Pages:
4
Journal:
Journal of Mathematical Sciences
DOI:
10.1007/bf01629439
Date:
November, 1982
File:
PDF, 343 KB
english, 1982