Unique Fixed Points

Unique Fixed Points

Bibliographic Details
Main Author:	Hoare, C
Format:	Record
Published:	2015

Similar Items

Exploiting unique fixed points
by: Hinze, R
Published: (2008)

Proving The Unique Fixed−Point Principle Correct
by: Hinze, R, et al.
Published: (2011)

Functional pearl: Streams and unique fixed points
by: Hinze, R
Published: (2008)

Functional Pearl: Streams and Unique Fixed Points
by: Hinze, R, et al.
Published: (2008)

Functional pearl: streams and unique fixed points
by: Hinze, R
Published: (2008)

Functional pearl: Streams and unique fixed points
by: Hinze, R
Published: (2008)

Exploiting Unique Fixed Points (Invited Lecture)
by: Hinze, R
Published: (2008)

Fixed Points of Increasing Functions
by: Hoare, C
Published: (1990)

Proving the Unique Fixed-Point Principle Correct An Adventure with Category Theory
by: Hinze, R, et al.
Published: (2011)

Proving the unique fixed−point principle correct: an adventure with category theory
by: Hinze, R, et al.
Published: (2011)

The Brownian continuum random tree as the unique solution to a fixed point equation
by: Albenque, M, et al.
Published: (2015)

Local Uniqueness of Alignments with a Fixed Proportion of Gaps
by: Hauser, R, et al.
Published: (2005)

INFRARED FIXED-POINTS REVISITED
by: Lanzagorta, M, et al.
Published: (1995)

Distributed computation of fixed points
Published: (2002)

Fixed-point square roots
by: Gan, Woon-Seng, et al.
Published: (2013)

Fixed points without completeness
by: Roscoe, A, et al.
Published: (1993)

Fixed point theory and applications /
by: Tan, Kok-Keong, et al.
Published: (1992)

Fixed points : algorithms and applications /
by: International Conference on Computing Fixed Points with Applications (1974 : Clemson University), et al.
Published: (1977)

Multidimensional fixed-point theorems and applications
by: Akhadkulov, Habibulla, et al.
Published: (2017)

On split equality fixed-point problems
by: Mohammed, L. B., et al.
Published: (2023)

Fixed-point adiabatic quantum search
by: Dalzell, Alexander M., et al.
Published: (2017)

Pure and Applied Fixed−Point Logics
by: Kreutzer, S
Published: (2003)

Infinite groups with fixed point properties
by: Arzhantseva, G, et al.
Published: (2007)

Backtracking Games and Inflationary Fixed Points
by: Dawar, A, et al.
Published: (2006)

Fixed points for multi-class queues
by: Martin, J, et al.
Published: (2010)

Pure and Applied Fixed−Point Logics
by: Kreutzer, S
Published: (2002)

Backtracking games and inflationary fixed points
by: Dawar, A, et al.
Published: (2004)

Inflationary Fixed Points in Modal Logics
by: Dawar, A, et al.
Published: (2004)

Inflationary Fixed Points in Modal Logics
by: Dawar, A, et al.
Published: (2001)

Profinite isomorphisms and fixed-point properties
by: Bridson, M
Published: (2024)

Modular games for coalgebraic fixed point logics
by: Cîrstea, C, et al.
Published: (2008)

Fixed Points in Multi−Cycle Path Detection
by: D'Silva, V, et al.
Published: (2015)

Renormalization Fixed Point of the KPZ Universality Class
by: Corwin, Ivan, et al.
Published: (2016)

The implementation of computer vision algorithms in fixed point
by: Yang, Yi
Published: (2011)

Discrete Fixed Points: Models‚ Complexities‚ and Applications
by: Deng, X, et al.
Published: (2011)

Fixed points for multi-cycle path detection
by: D'Silva, V, et al.
Published: (2009)

Holographic non-Fermi-liquid fixed points
by: Faulkner, Thomas, et al.
Published: (2012)

Division and square root in fixed point microprocessors
by: Mok, Lu Min.
Published: (2008)

Partial Fixed−Point Logic on Infinite Structures
by: Kreutzer, S
Published: (2002)

Discrete fixed points: models, complexities, and applications
by: Deng, X, et al.
Published: (2011)