A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser

Author： Intrigila B.   Salvo I.   Sorgi S.  

Publisher： Academic Press

ISSN： 0890-5401

Source： Information and Computation, Vol.171, Iss.2, 2001-12, pp. : 137-155

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Growing Context-Sensitive Languages and Church-Rosser Languages

By Buntrock G.   Otto F.  

Information and Computation, Vol. 141, Iss. 1, 1998-02 ,pp. : 1-36

Academic Press

Access to resources Recommend Favorite

Seismic Upgrading of a Masonry Church with FRP Composites

By  

Materials Science Forum, Vol. 2016, Iss. 866, 2016-09 ,pp. : 119-123

Trans Tech Publications

Access to resources Recommend Favorite

Hereditarily weakly confluent maps and a characterization of Class HW

By Grace E.E.   Vought E.J.  

Topology and its Applications, Vol. 100, Iss. 2, 1999-01 ,pp. : 211-218

Elsevier

Access to resources Recommend Favorite

Galileo's Religion Versus the Church's Science? Rethinking the History of Science and Religion

By Wilson D. B.  

Physics in Perspective, Vol. 1, Iss. 1, 1999-03 ,pp. : 65-84

Springer Publishing Company

Access to resources Recommend Favorite

Weakly invariant regions for reaction-diffusion systems and applications

By Zheng Si Ning  

Proceedings Section A: Mathematics - Royal Society of Edinburgh, Vol. 130, Iss. 5, 2000-10 ,pp. : 1165-1180

Royal Society of Edinburgh

Access to resources Recommend Favorite