Unique Fixed Points

Unique Fixed Points

書目詳細資料
主要作者:	Hoare, C
格式:	Record
出版:	2015

相似書籍

Exploiting unique fixed points
由: Hinze, R
出版: (2008)

Proving The Unique Fixed−Point Principle Correct
由: Hinze, R, et al.
出版: (2011)

Functional pearl: Streams and unique fixed points
由: Hinze, R
出版: (2008)

Functional Pearl: Streams and Unique Fixed Points
由: Hinze, R, et al.
出版: (2008)

Functional pearl: streams and unique fixed points
由: Hinze, R
出版: (2008)

Functional pearl: Streams and unique fixed points
由: Hinze, R
出版: (2008)

Exploiting Unique Fixed Points (Invited Lecture)
由: Hinze, R
出版: (2008)

Fixed Points of Increasing Functions
由: Hoare, C
出版: (1990)

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

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

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

Local Uniqueness of Alignments with a Fixed Proportion of Gaps
由: Hauser, R, et al.
出版: (2005)

Fixed point theorems/
由: 186258 Smart, D. R.
出版: (1974)

INFRARED FIXED-POINTS REVISITED
由: Lanzagorta, M, et al.
出版: (1995)

Distributed computation of fixed points
出版: (2002)

Fixed-point square roots
由: Gan, Woon-Seng, et al.
出版: (2013)

Fixed points without completeness
由: Roscoe, A, et al.
出版: (1993)

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

Fixed point theory and applications /
由: Tan, Kok-Keong, et al.
出版: (1992)

The computation of fixed points and applications /
由: Todd Michael J., 1947-
出版: (1976)

Complementarity and fixed point problems/
由: Balinski, M. L., et al.
出版: (1978)

Multidimensional fixed-point theorems and applications
由: Akhadkulov, Habibulla, et al.
出版: (2017)

On split equality fixed-point problems
由: Mohammed, L. B., et al.
出版: (2023)

Fixed-point adiabatic quantum search
由: Dalzell, Alexander M., et al.
出版: (2017)

Pure and Applied Fixed−Point Logics
由: Kreutzer, S
出版: (2003)

Infinite groups with fixed point properties
由: Arzhantseva, G, et al.
出版: (2007)

Backtracking Games and Inflationary Fixed Points
由: Dawar, A, et al.
出版: (2006)

Fixed points for multi-class queues
由: Martin, J, et al.
出版: (2010)

Pure and Applied Fixed−Point Logics
由: Kreutzer, S
出版: (2002)

Backtracking games and inflationary fixed points
由: Dawar, A, et al.
出版: (2004)

Inflationary Fixed Points in Modal Logics
由: Dawar, A, et al.
出版: (2004)

Inflationary Fixed Points in Modal Logics
由: Dawar, A, et al.
出版: (2001)

Profinite isomorphisms and fixed-point properties
由: Bridson, M
出版: (2024)

Modular games for coalgebraic fixed point logics
由: Cîrstea, C, et al.
出版: (2008)

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

Renormalization Fixed Point of the KPZ Universality Class
由: Corwin, Ivan, et al.
出版: (2016)

The implementation of computer vision algorithms in fixed point
由: Yang, Yi
出版: (2011)

Discrete Fixed Points: Models‚ Complexities‚ and Applications
由: Deng, X, et al.
出版: (2011)

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

Holographic non-Fermi-liquid fixed points
由: Faulkner, Thomas, et al.
出版: (2012)