Result 81 to 100 of 542 total
$F$-quadratic stochastic operators. (English)
Math. Notes 83, No. 4, 554-559 (2008); translation from Mat. Zametki 83, No. 4, 606-612 (2008).
81
Fix-Mahonian calculus. II: Further statistics. (English)
J. Comb. Theory, Ser. A 115, No. 5, 726-736 (2008).
82
Fix-Mahonian calculus. I: Two transformations. (English)
Eur. J. Comb. 29, No. 7, 1721-1732 (2008).
83
Fix-Mahonian calculus. III: a quadruple distribution. (English)
Monatsh. Math. 154, No. 3, 177-197 (2008).
84
A note on bisimulation quantifiers and fixed points over transitive frames. (English)
J. Log. Comput. 18, No. 4, 601-614 (2008).
85
Specification and verification of concurrent systems in CESAR. (English)
Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 216-230 (2008).
86
Mathematical theory of domains. Paperback reprint of the hardback edition 1994. (English)
Cambridge Tracts in Theoretical Computer Science 22. Cambridge: Cambridge University Press (ISBN 978-0-521-06479-8/pbk). xii, 349~p. \sterling~31.99 (2008).
87
Signed words and permutations. IV: Fixed and pixed points. (English)
Isr. J. Math. 163, 217-240 (2008).
88
Dichotomy results for fixed-point existence problems for Boolean dynamical systems. (English)
Math. Comput. Sci. 1, No. 3, 487-505 (2008).
89
Stochastic networks with multiple stable points. (English)
Ann. Probab. 36, No. 1, 255-278 (2008).
90
Boolean fuzzy sets. (English)
Int. J. Found. Comput. Sci. 18, No. 6, 1197-1207 (2007).
91
Uniform interpolation, bisimulation quantifiers, and fixed points. (English)
ten Cate, Balder D. (ed.) et al., Logic, language, and computation. 6th international Tbilisi symposium on logic, language, and computation, TbiLLC 2005, Batumi, Georgia, September 12‒16, 2005. Revised selected papers. Berlin: Springer (ISBN 978-3-540-75143-4/pbk). Lecture Notes in Computer Science 4363. Lecture Notes in Artificial Intelligence, 96-116 (2007).
92
Infinite dimensional Krawczyk operator for finding periodic orbits of discrete dynamical systems. (English)
Int. J. Bifurcation Chaos Appl. Sci. Eng. 17, No. 12, 4261-4272 (2007).
93
Characterizations of the isometries and construction of the orbits in the hyperbolic plane. (English)
Int. Math. Forum 2, No. 21-24, 1129-1140 (2007).
94
The Lempel-Ziv complexity of fixed points of morphisms. (English)
SIAM J. Discrete Math. 21, No. 2, 466-481 (2007).
95
Some recent results in metric fixed point theory. (English)
J. Fixed Point Theory Appl. 2, No. 2, 195-207 (2007).
96
Weak convergence theorems for a countable family of nonexpansive mappings in Banach spaces satisfying Opial’s condition. (English)
Murofushi, Toshiaki (ed.) et al., Proceedings of the 2005 symposium on applied functional analysis: Information sciences and related fields, Tokyo, Japan, November 9‒11, 2005. Yokohama: Yokohama Publishers (ISBN 978-4-946552-28-1/pbk). 153-168 (2007).
97
Fixed points of two-sided fractional matrix transformations. (English)
Fixed Point Theory Appl. 2007, Article ID 41930, 69 p. (2007).
98
On minimal models. (English)
Log. J. IGPL 15, No. 5-6, 503-526 (2007).
99
Fuzzy subgroups with meet operation in the connection of Möbius transformations. (English)
Melin, Patricia (ed.) et al., Foundations of fuzzy logic and soft computing. 12th International Fuzzy Systems Association world congress, IFSA 2007, Cancun, Mexico, June 18‒21, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72917-4/pbk). Lecture Notes in Computer Science 4529. Lecture Notes in Artificial Intelligence, 445-450 (2007).
100
Result 81 to 100 of 542 total