Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,930,619 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.
2017
2017
Classification of Local Field Potentials using Gaussian Sequence Model
T. Banerjee
,
John S. Choi
,
Bijan Pesaran
,
Demba E. Ba
,
V. Tarokh
Symposium on Software Performance
2017
Corpus ID: 39143256
A problem of classification of local field potentials (LFPs), recorded from the prefrontal cortex of a macaque monkey, is…
Expand
2015
2015
Structural Resolution: a Framework for Coinductive Proof Search and Proof Construction in Horn Clause Logic
Ekaterina Komendantskaya
,
Patricia Johann
arXiv.org
2015
Corpus ID: 18108315
Logic programming (LP) is a programming language based on first-order Horn clause logic that uses SLD-resolution as a semi…
Expand
2014
2014
Quality Characteristics of Dried Noodles Added with Ligularia fischeri Powder
Bock-Hee Park
,
Haengsik Joo
,
Hee-Sook Cho
2014
Corpus ID: 55333715
Abstract This study investigated the quality of noodles containing different amounts of Ligularia fischeri powder (LFP…
Expand
2007
2007
Evaluation of Green Fluorescence Protein (GFP) as a Selectable Marker for Oil Palm Transformation via Transient Expression
Ghulam Kadir
,
A. Parveez
2007
Corpus ID: 38149491
Green fluorescent protein (GFP) can be easily visualized under UV/blue light without any additional substrate or co-factor. Its…
Expand
2003
2003
Timing analysis with crosstalk is a fixpoint on a complete lattice
H. Zhou
IEEE Trans. Comput. Aided Des. Integr. Circuits…
2003
Corpus ID: 7369092
Increasing delay variation due to capacitive and inductive crosstalk has a dramatic impact on deep submicron technologies. It is…
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
2002
2002
Transparent generic framing procedure (GFP): a protocol for efficient transport of block-coded data through SONET/SDH networks
S. Gorshe
,
T. Wilson
IEEE Communications Magazine
2002
Corpus ID: 56049206
The generic framing procedure (GFP) is a new standard that has been developed to overcome data transport inefficiencies or…
Expand
Review
2002
Review
2002
Data transport applications using GFP
M. Scholten
,
Zhenyu Zhu
,
E. Hernandez-Valencia
,
J. Hawkins
IEEE Communications Magazine
2002
Corpus ID: 62486648
An emerging generic framing procedure (GFP) standard defines a new data encapsulation protocol designed to accept and transport…
Expand
1993
1993
Incorporating Generalized Quantifiers and the Least Fixed Point Operator
I. A. Stewart
Annual Conference for Computer Science Logic
1993
Corpus ID: 10005736
We extend first-order logic with successor using the least fixed point operator and the Hamiltonian path generalized quantifier…
Expand
1986
1986
Formulation of Induction Formulas in Verification of Prolog Programs
T. Kanamori
,
H. Fujita
CADE
1986
Corpus ID: 805331
How induction formulas are formulated in verification of Prolog programs is described. The same problem for well-founded…
Expand