Testing for the Church-Rosser Property

@article{Book1981TestingFT,
  title={Testing for the Church-Rosser Property},
  author={Ronald V. Book and Colm {\'O}'D{\'u}nlaing},
  journal={Theor. Comput. Sci.},
  year={1981},
  volume={16},
  pages={223-229}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…