Least fixed point

Known as: Greatest fixpoint, Least fixpoint, LFP 
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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1975-2017
05010019752017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We consider equation systems of the form X1 = f1(X1, . . . ,Xn), . . . , Xn = fn(X1, . . . ,Xn), where f1, . . . , fn are… (More)
  • figure 5.1
  • figure 5.2
  • figure 6.1
  • figure 8.1
  • figure 8.2
Is this relevant?
2007
2007
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program… (More)
  • figure 1
Is this relevant?
2006
2006
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and… (More)
Is this relevant?
2006
2006
This paper generalizes existing connections between automata and logic to a coalgebraic level. Let F : Set → Set be a standard… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Guarded fixed point logics are obtained by adding least and greatest fixed points to the guarded fragments of firstorder logic… (More)
Is this relevant?
1993
1993
A b s t r a c t . We extend first-order logic with successor using the least fixed point operator and the Hamiltonian path… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
The perfect model semantics [Apt et al., 1987; Gelder, 1987; Przymusinski, 1987; Przymusinski, 1988c) provides an attractive… (More)
Is this relevant?
1987
1987
The purpose of this paper is to draw attention to existential fixed-point logic. Among other things, we show that: (1) If a… (More)
Is this relevant?
1983
1983
An algorithm is presented which takes a least fixed point query expressed by a basis and inductive step and transforms it into a… (More)
Is this relevant?
1979
1979
Fixed points of a functor F: 3? + X are objects X of Y such that FXs X. They arise, e.g., in Scott’s approach to data types as… (More)
Is this relevant?