Search results

1984-01-01 Paper The relation between the height of a well-founded partial ordering and the order types of its chains and antichains 1981-01-01 Paper https://portal...

Paper A relational model of types-and-effects in higher-order concurrent separation logic 2017-10-20 Paper Guarded Cubical Type Theory: Path Equality for...

2011-10-19 Paper Minimal first-order structures 2011-09-22 Paper Types directed by constants 2011-08-26 Paper On definability of types of finite Cantor-Bendixson...

Paper Uniqueness of quantum Markov chains associated with an \(XY\)-model on a Cayley tree of order 2 2012-03-13 Paper \(G\)-decompositions of matrices and...

Maximal chains of isomorphic suborders of countable ultrahomogeneous partial orders. 2015-03-20 Paper Maximal chains of isomorphic subgraphs of the Rado...

2017-03-09 Paper Mixing Times of Markov Chains on Degree Constrained Orientations of Planar Graphs 2017-03-03 Paper Topological Drawings of Complete Bipartite Graphs...

automorphisms of the universal partial order 2001-05-14 Paper Rigid chains admitting many embeddings 2001-03-20 Paper On distinguishing quotients of symmetric...

degree analysis of an inhomogeneous growing network with two types of vertices 2019-02-14 Paper Asymptotic equipartition property for second-order circular Markov...

geometry of weakly minimal types 1985-01-01 Paper Coordinatization in Superstable Theories. I. Stationary Types 1985-01-01 Paper One theorem of Zil′ber's...

class of small deviation theorems for the random variables associated withmth-order asymptotic circular Markov chains 2016-11-23 Paper On the zero of a radial...

2012-06-08 Paper A class of strong deviation theorems for multivariate function sequences of \(m\)th-order countable nonhomogeneous Markov chains 2012-06-01 Paper...

with countably many types 2012-10-23 Paper A law of large numbers approximation for Markov population processes with countably many types 2012-10-12 Paper...

Publication Date of Publication Type On a notion of independence proposed by Teddy Seidenfeld 2024-10-24 Paper The logic behind desirable sets of things, and...

Publication Date of Publication Type On models of higher-order separation logic 2022-04-25 Paper Denotational semantics for guarded dependent type theory 2020-12-08...

Security types preserving compilation 2007-02-20 Paper Tool-assisted specification and verification of typed low-level languages 2007-01-30 Paper Types for...

Publication Date of Publication Type Ramsey theory of homogeneous structures: current trends and open problems 2024-03-24 Paper On the Tukey types of Fubini products...

largest size of an antichain in the Bruhat order for \(\mathcal A (2k,k)\) 2013-03-20 Paper On noncrossing and nonnesting partitions of type \(D\) 2012-01-24...

index of two types of trees 2017-02-15 Paper The expected values of Wiener indices in random polygonal chains. 2016-10-26 Paper The expected values of Hosoya...

subsets of finite groups of Lie type 2015-11-09 Paper Orbit coherence in permutation groups 2014-09-17 Paper On types of matrices and centralizers of matrices...

On first order amenability 2020-04-17 Paper A group version of stable regularity 2020-02-14 Paper Some model theory and topological dynamics of $p$-adic...