BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
church (22)
properti (9)
languag (8)
system (7)
rewrit (5)

Stem rosser$ (all stems)

22 papers:

WRLAWRLA-J-2010-DuranM12 #on the #order
On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (FD, JM), pp. 816–850.
ICALPICALP-v2-2012-DiekertKRW #regular expression
Regular Languages Are Church-Rosser Congruential (VD, MK, KR, TW), pp. 177–188.
Church-Rosser Properties of Normal Rewriting (JPJ, JL), pp. 350–365.
WRLAWRLA-2010-DuranM #equation #maude #order #specification
A Church-Rosser Checker Tool for Conditional Order-Sorted Equational Maude Specifications (FD, JM), pp. 69–85.
FLOPSFLOPS-2010-KetemaS #bound #diagrams #term rewriting #λ-calculus
Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus (JK, JGS), pp. 272–287.
RTARTA-2006-Jouannaud #composition
Modular Church-Rosser Modulo (JPJ), pp. 96–107.
Church-Rosser Languages vs. UCFL (TJ, KL), pp. 147–158.
DLTDLT-2001-NiemannW01a #regular expression
Some Regular Languages That Are Church-Rosser Congruential (GN, JW), pp. 330–339.
RTARTA-2001-Woinowski #normalisation
A Normal Form for Church-Rosser Language Systems (JRW), pp. 322–337.
DLTDLT-1999-NiemannO #automaton
Restarting automata, Church-Rosser languages, and representations of r.e. languages (GN, FO), pp. 103–114.
FoSSaCSFoSSaCS-1998-NiemannO #context-sensitive grammar
The Church-Rosser Languages Are the Deterministic Variants of the Growing Context-Sensitive Languages (GN, FO), pp. 243–257.
RTARTA-1998-Ohlebusch #equivalence #reduction #theorem
Church-Rosser Theorems for Abstract Reduction Modulo an Equivalence Relation (EO), pp. 17–31.
Simultaneous Critical Pairs and Church-Rosser Property (SO), pp. 2–16.
CADECADE-1996-Nipkow #higher-order #proving
More Church-Rosser Proofs (in Isabelle/HOL) (TN), pp. 733–747.
LICSLICS-1994-GeuversW #on the #type system
On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study (HG, BW), pp. 320–329.
LICSLICS-1992-Geuvers #λ-calculus
The Church-Rosser Property for βη-reduction in Typed λ-Calculi (HG), pp. 453–460.
ICALPICALP-1990-Klop #term rewriting
Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond (JWK), pp. 350–369.
RTARTA-1985-Otto #algebra #finite #monad
Deciding Algebraic Properties of Monoids Presented by Finite Church-Rosser Thue Systems (FO), pp. 95–106.
ICGTGG-1982-EhrigS #graph transformation
Church-Rosser properties for graph replacement systems with unique splitting (HE, JS), pp. 82–101.
CADECADE-1982-Book #power of #string #term rewriting
The Power of the Church-Rosser Property for String Rewriting Systems (RVB), pp. 360–368.
ICALPICALP-1974-Dezani-CiancagliniZ #algorithm #parallel #performance
Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms (MDC, MZ), pp. 170–184.
STOCSTOC-1970-Rosen #theorem
Tree-Manipulating Systems and Church-Rosser Theorems (BKR), pp. 117–127.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.