Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,757 papers from all fields of science
Search
Sign In
Create Free Account
Least fixed point
Known as:
Greatest fixpoint
, Least fixpoint
, LFP
Expand
In order theory, a branch of mathematics, the least fixed point (lfp or LFP, sometimes also smallest fixed point) of a function from a partially…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
20 relations
Computer science
Context-free grammar
Corecursion
Denotational semantics
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2007
2007
A Scalable Path Protection Mechanism for Guaranteed Network Reliability Under Multiple Failures
Changcheng Huang
,
Minzhe Li
,
A. Srinivasan
IEEE Transactions on Reliability
2007
Corpus ID: 10263618
We propose two versions of Link Failure Probability (LFP) based backup resource sharing algorithms, namely LFP based First-Fit…
Expand
Highly Cited
2004
Highly Cited
2004
High-affinity interactions between human α1A-adrenoceptor C-terminal splice variants produce homo- and heterodimers but do not generate the α1L-adrenoceptor
D. Ramsay
,
I. Carr
,
+4 authors
G. Milligan
2004
Corpus ID: 7884331
Using combinations of bioluminescence resonance energy transfer, time-resolved fluorescence resonance energy transfer and the…
Expand
Highly Cited
2003
Highly Cited
2003
Effects of process parameters on heterologous protein production in Aspergillus niger fermentation
Liping Wang
,
D. Ridgway
,
T. Gu
,
M. Moo-young
2003
Corpus ID: 45578075
Filamentous fungi such as Aspergillus niger are attractive hosts for recombinant DNA technology because of their ability to…
Expand
Highly Cited
2002
Highly Cited
2002
Generic framing procedure (GFP): the catalyst for efficient data over transport
P. Bonenfant
,
A. R. Moral
IEEE Communications Magazine
2002
Corpus ID: 62554896
We discuss the generic framing procedure (GFP) in the context of emerging nontraditional data over transport applications…
Expand
2001
2001
Functional expression of a GFP-tagged Kv1.5 α-subunit in mouse ventricle
Huilin Li
,
Weinong Guo
,
Hao-dong Xu
,
R. Hood
,
A. T. Benedict
,
J. Nerbonne
2001
Corpus ID: 9464845
The experiments here were undertaken to determine the feasibility of increasing the cell surface expression of voltage-gated ion…
Expand
2000
2000
Axiomatizing the Least Fixed Point Operation and Binary Supremum
Z. Ésik
Annual Conference for Computer Science Logic
2000
Corpus ID: 27868232
The equational properties of the least fixed point operation on (ω-)continuous functions on (ω-)complete partially ordered sets…
Expand
1996
1996
Fixed-Point Operations on ccc's. Part I
S. Bloom
,
Z. Ésik
Theoretical Computer Science
1996
Corpus ID: 35549379
Highly Cited
1989
Highly Cited
1989
Temporal logic programming is complete and expressive
M. Baudinet
ACM-SIGACT Symposium on Principles of Programming…
1989
Corpus ID: 14926049
This paper addresses semantic and expressiveness issues for temporal logic programming and in particular for the TEMPLOG language…
Expand
Highly Cited
1987
Highly Cited
1987
Skolem Normal Forms Concerning the Least Fixpoint
E. Dahlhaus
Computation Theory and Logic
1987
Corpus ID: 27988626
1983
1983
Synthesizing Least Fixed Point Queries Into Non-Recursive Iterative Programs
S. Naqvi
,
L. Henschen
International Joint Conference on Artificial…
1983
Corpus ID: 9135315
An algorithm is presented which takes a least fixed point query expressed by a basis and inductive step and transforms it into a…
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