Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,833,891 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.
2013
2013
The generating functions of Lame equation in Weierstrass's form
Y. Choun
2013
Corpus ID: 119131458
Lame equation arises from deriving Laplace equation in ellipsoidal coordinates; in other words, it's called ellipsoidal harmonic…
Expand
2004
2004
JOHNSON-MEHL-AVRAMI KINETICS OF INTRACELLULAR ICE FORMATION IN CONFLUENT TISSUE CONSTRUCTS
M. Sumpter
2004
Corpus ID: 85849205
2003
2003
MICoA , a Novel MTA 1 Interacting Protein Coactivator , Regulates Estrogen Receptor-alpha Transactivation Functions *
Sandip K. Mishra
,
A. Mazumdar
,
+6 authors
Rakesh Kumar
2003
Corpus ID: 43229741
The transcriptional activity of estrogen receptor-alpha (ER) is modified by coactivators, corepressors and chromatin remodeling…
Expand
2001
2001
Studies of a Theory of Specifications with Built-in Program Extraction
P. Severi
,
Nora Szasz
Journal of automated reasoning
2001
Corpus ID: 21484072
We present a Theory of Specifications based on Martin-Löf's type theory, with rules for simultaneously constructing programs and…
Expand
1998
1998
ARC APPROXIMATION PROPERTY AND CONFLUENCE OF INDUCED MAPPINGS
W. Charatonik
1998
Corpus ID: 12725839
We say that a continuum X has the arc approximation property if every sub continuum K of X is the limit of a sequence of arcwise…
Expand
1998
1998
Angiotensin II Induces Hypertrophy of Human Airway Smooth Muscle Cells : Expression of Transcription Factors and Transforming Growth Factor-b 1
S. McKay
,
J. C. de Jongste
,
P. Saxena
,
H. S. Sharma
1998
Corpus ID: 14399985
Increased smooth muscle mass due to hyperplasia and hypertrophy of airway smooth muscle (ASM) cells is a common feature in asthma…
Expand
1997
1997
Hypergeometric integrals arising in atomic collisions physics
F. D. Colavecchia
,
G. Gasaneo
,
C. Garibotti
1997
Corpus ID: 121669405
We introduce a method of obtaining volume integrals involving confluent hypergeometric functions. This method is based on the…
Expand
1995
1995
Structural Rearrangements upon Photoreorientation of Amphiphilic Azobenzene Dyes Organized in Ultrathin Films on Solid Surfaces
M. Schoenhoff
,
L. Chi
,
H. Fuchs
,
M. Loesche
1995
Corpus ID: 59154777
The polarized excitation of azobenzene molecules is frequently used to reorient the chromophores with their dipole transition…
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
1963
1963
ON SOME FREE LIVING PROSTIGMATIC MITES OF ANTARCTICA 1
H. Womersley
,
R. W. Strandtmann
1963
Corpus ID: 56301478
Several new and some previously described species of free living prostig matic mites of Antarctica are illustrated and described…
Expand