Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,321 papers from all fields of science
Search
Sign In
Create Free Account
Confluence (abstract rewriting)
Known as:
Strong confluence
, Strongly confluent
, Confluence (disambiguation)
Expand
In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
15 relations
Abstract rewriting system
Church–Rosser theorem
Constraint Handling Rules
Critical pair (logic)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The Operations-Time Chart: A graphical tool to evaluate the performance of production systems - From batch-and-queue to lean manufacturing
Lluis Cuatrecasas-Arbos
,
J. Fortuny-Santos
,
C. Vintró-Sánchez
Computers & industrial engineering
2011
Corpus ID: 16319917
2009
2009
Larvicidal effect of imidacloprid / moxidectin spot-on solution in dogs experimentally inoculated with Angiostrongylus vasorum
A. Fahriona
,
P. Ossentb
,
L. Kohlera
,
P. Websterc
,
J. Heined
2009
Corpus ID: 8171440
A controlled, randomized, blinded dose confirmation study was conducted to evaluate the larvicidal efficacy and safety of…
Expand
2007
2007
Flood frequency and routing processes at a confluence of the middle Yellow River in China
Hongming He
,
Jie Zhou
,
Qian Yu
,
Yong Q. Tian
,
Robert F. Chen
2007
Corpus ID: 128486515
Floods cause environmental hazards and influence on socio‐economic activities. In this study, we evaluated the historic flood…
Expand
Highly Cited
2006
Highly Cited
2006
Intestinal Intraepithelial Lymphocytes Bind to Colon Cancer Cells by HML-1 and CDlla1
Arthur
,
I. Roberts
,
S. O'Connell
,
E. Ebert
2006
Corpus ID: 15520621
Human intraepithelial lymphocytes i ILI i. predominantly CD8 ' T-lymphocytes located between intestinal epithelial cells (EC…
Expand
Highly Cited
2005
Highly Cited
2005
Cyclin D1 Induction through IκB Kinase β/Nuclear Factor-κB Pathway Is Responsible for Arsenite-Induced Increased Cell Cycle G1-S Phase Transition in Human Keratinocytes
W. Ouyang
,
Q. Ma
,
+4 authors
Chuanshu Huang
2005
Corpus ID: 33286054
Environmental and occupational exposure to arsenite is associated with an increased risk of human cancers, including skin…
Expand
2002
2002
Deciding confluence of certain term rewriting systems in polynomial time
Ashish Tiwari
Proceedings 17th Annual IEEE Symposium on Logic…
2002
Corpus ID: 264713043
We present a polynomial time algorithm for deciding confluence of ground term rewrite systems. We generalize the decision…
Expand
1997
1997
Correlated continuum wave functions for three particles with Coulomb interactions
G. Gasaneo
,
F. D. Colavecchia
,
C. Garibotti
,
J. Miraglia
,
P. Macri
1997
Corpus ID: 59608403
We present an approximate solution of the Schr{umlt o}dinger equation for the three-body Coulomb problem. We write the…
Expand
1984
1984
Rewriting systems on FP expressions that reduce the number of sequences they yield
F. Bellegarde
LFP '84
1984
Corpus ID: 8949233
In this paper, we are interested in the application of program transformation for minimizing the number of intermediary sequences…
Expand
1984
1984
Platelet-derived Growth Factor-induced Alterations Vinculin and Actin Distribution in Balb/c-3t3 Cells
B. Herman
,
W. Pledger
1984
Corpus ID: 18112249
Exposure of BALB/c-3T3 cells (clone A31) to platelet-derived growth factor (PDGF) results in a rapid time-and dose-dependent…
Expand
Highly Cited
1973
Highly Cited
1973
Detection of a PSK signal transmitted through a hard-limited channel
P. Jain
,
N. Blachman
IEEE Transactions on Information Theory
1973
Corpus ID: 20608636
This paper considers the problem of the detection of a binary phase-modulated carrier which has been transmitted along with noise…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE