Least fixed point
![Arxiv:1301.2793V2 [Math.LO] 18 Jul 2014 Uaeacnetof Concept a Mulate Fpwrbet Uetepwre Xo) N/Rmk S Ff of Use Make And/Or Axiom), Presupp Principles](http://data.docslib.org/img/264x/14e7080602f155ef15d26c87e9b67a9e.webp)
Top View
- First Order Logic, Fixed Point Logic and Linear Order
- Fixpoint Logic Vs. Infinitary Logic in Finite-Model Theory
- An Introduction to Bisimulation and Coinduction
- Bisimulation and Coinduction
- Fixed-Point Semantics
- Induction, Coinduction, and Fixed Points: Intuitions and Tutorial Using Examples from Set Theory, Number Theory, and Real Analysis
- An Application of Kleene's Fixed Point Theorem to Dynamic Programming: a Note
- FIXED-POINT EXTENSIONS of FIRST-ORDER LOGIC 0. Introduction
- Pure and Applied Fixed-Point Logics
- Applications of the Tarski–Kantorovitch Fixed-Point Principle in the Theory of Iterated Function Systems
- Introduction to Domain Theory Review of Denotational Semantics
- Categorical Liveness Checking by Corecursive Algebras
- Knaster-Tarski Theorem
- Semiring Provenance for Fixed-Point Logic
- Lazy Least Fixed Points in ML
- Fixed Point Semantics and Partial Recursion in Coq Yves Bertot, Vladimir Komendantsky
- Least Fixed Point of a Functor
- Fix-Points of Recursive Functions