On an inequality of Diananda. III.
Gao, Peng (2006)
International Journal of Mathematics and Mathematical Sciences
Similarity:
Displaying similar documents to “Normal forms in the typed -calculus with tuple types”
On an inequality of Diananda. III.
A new approach to Ky Fan-type inequalities.
Gao, Peng (2005)
International Journal of Mathematics and Mathematical Sciences
Similarity:
On Chung-Teicher type strong law of large numbers for -mixing random variables.
Kuczmaszewska, Anna (2008)
Discrete Dynamics in Nature and Society
Similarity:
The ordering of commutative terms
Jaroslav Ježek (2006)
Czechoslovak Mathematical Journal
Similarity:
By a commutative term we mean an element of the free commutative groupoid of infinite rank. For two commutative terms , write if contains a subterm that is a substitution instance of . With respect to this relation, is a quasiordered set which becomes an ordered set after the appropriate factorization. We study definability in this ordered set. Among other things, we prove that every commutative term (or its block in the factor) is a definable element. Consequently, the ordered...
Call-by-value solvability
Luca Paolini, Simona Ronchi Della Rocca (1999)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Presentations for the punctured mapping class groups in terms of Artin groups.
Labruère, Catherine, Paris, Luis (2001)
Algebraic & Geometric Topology
Similarity:
On some general notions of superior limit, inferior limit and value of a distribution at a point.
Campos Ferreira, J. (2001)
Portugaliae Mathematica. Nova Série
Similarity:
Rio-type inequality for the expectation of products of random variables.
Prakasa Rao, B.L.S. (2005)
Journal of Inequalities and Applications [electronic only]
Similarity: