Complexity Versus the Church‐Rosser Property and Confluence

Mathematical Logic Quarterly 37 (5‐6):85-92 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19910370504

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Simplified Proof of the Church–Rosser Theorem.Yuichi Komori, Naosuke Matsuda & Fumika Yamakawa - 2014 - Studia Logica 102 (1):175-183.
The Church-Rosser Property in Symmetric Combinatory Logic.Katalin Bimbó - 2005 - Journal of Symbolic Logic 70 (2):536 - 556.
The church-Rosser property in dual combinatory logic.Katalin Bimbó - 2003 - Journal of Symbolic Logic 68 (1):132-152.
Remarks on the church-Rosser property.E. G. K. López-Escobar - 1990 - Journal of Symbolic Logic 55 (1):106-112.
Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33‐35):547-559.
Econophysics and economic complexity.Barkley Rosser - manuscript
Coherence in category theory and the Church-Rosser property.C. Barry Jay - 1991 - Notre Dame Journal of Formal Logic 33 (1):140-143.
Review: H. B. Curry, A New Proof of the Church-Rosser Theorem. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):377-378.
Church–Rosser property of a simple reduction for full first-order classical natural deduction.Y. Andou - 2003 - Annals of Pure and Applied Logic 119 (1-3):225-237.
Church-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises.Mauricio Ayala-Rincon - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of Combining Systems. Research Studies Press. pp. 2--17.
What is complexity? - The philosophy of complexity per se with application to some examples in evolution.Bruce Edmonds - 1995 - In [Book Chapter] (in Press).
The Complexity Era in Economics.Richard P. F. Holt & J. Barkley Rosser - unknown
Some properties of the -calculus.Karim Nour & Khelifa Saber - 2012 - Journal of Applied Non-Classical Logics 22 (3):231-247.

Analytics

Added to PP
2013-12-01

Downloads
13 (#1,036,661)

6 months
2 (#1,198,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

The |lambda-Calculus.H. P. Barendregt - 1981 - Philosophical Review 97 (1):132-137.
Aussagenlogisch Fundierte Theorien.Horst Luckhardt - 1968 - Archive for Mathematical Logic 10 (1-2):37-58.

Add more references