Tree-Manipulating Systems and Church-Rosser Theorems

Rosen, Barry K.

doi:10.1145/321738.321750

Record: found
Abstract: not found
Article: not found

Tree-Manipulating Systems and Church-Rosser Theorems

Author(s): Barry K. Rosen

Publication date (Print): January 1973

Journal: Journal of the ACM

Publisher: Association for Computing Machinery (ACM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Journal of the ACM

Abbreviated Title: J. ACM

Publisher: Association for Computing Machinery (ACM)

ISSN (Print): 00045411

Publication date (Print): January 1973

Volume: 20

Issue: 1

Pages: 160-187

Article

DOI: 10.1145/321738.321750

SO-VID: 66ff89c4-13b0-4fa9-84f7-84b58b455dbc

History

Data availability:

Tree-Manipulating Systems and Church-Rosser Theorems

Read this article at

Related collections

Socioecological systems

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 3,902

Cited by 37