A Complete Characterization of Termination of 0 P 1 Q → 1 R 0 S
Applicable Algebra in Engineering, Communications and Computing - Germany
doi 10.1007/s002009900019
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2000
Authors
Publisher
Springer Science and Business Media LLC