Errata: “Testing for the Church-Rosser Property”

Ravi Sethi

Research output: Contribution to journalArticlepeer-review

5 Scopus citations
Original languageEnglish (US)
Pages (from-to)424
Number of pages1
JournalJournal of the ACM (JACM)
Volume22
Issue number3
DOIs
StatePublished - Jul 1 1975

ASJC Scopus subject areas

  • Software
  • Control and Systems Engineering
  • Information Systems
  • Hardware and Architecture
  • Artificial Intelligence

Cite this