DOI10.1109/TC.1978.1675207zbMath0389.94019MaRDI QIDQ4171980
R. A. Thompson, Charles R. Greer
Publication date: 1978 Published in: IEEE Transactions on Computers (Search for Journal in Brave)
Mathematics Subject Classification ID
