History
1
an:50215344
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Distributed termination (English)
ACM Trans. Program. Lang. Syst. 2, No. 1, 42-55 (1980).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!