Errata: “Testing for the Church-Rosser Property”

Research output: Contribution to journalArticle

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
Externally publishedYes

ASJC Scopus subject areas

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

Cite this