# Least fixed point

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- SIAM J. Comput.
- 2010

We consider equation systems of the form X1 = f1(X1, . . . ,Xn), . . . , Xn = fn(X1, . . . ,Xn), where f1, . . . , fn areâ€¦Â (More)

Is this relevant?

2007

2007

- STACS
- 2007

Fixed point equations x = f(x) over Ï‰-continuous semirings can be seen as the mathematical foundation of interprocedural programâ€¦Â (More)

Is this relevant?

2006

2006

- Theor. Comput. Sci.
- 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

- Inf. Comput.
- 2006

This paper generalizes existing connections between automata and logic to a coalgebraic level. Let F : Set â†’ Set be a standardâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- LICS
- 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

- CSL
- 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

- PODS
- 1989

The perfect model semantics [Apt et al., 1987; Gelder, 1987; Przymusinski, 1987; Przymusinski, 1988c) provides an attractiveâ€¦Â (More)

Is this relevant?

1987

1987

- Computation Theory and Logic
- 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

- IJCAI
- 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

- J. Comput. Syst. Sci.
- 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?