表紙

This, together with the observations on action calculi and acyclic sharing theories, immediately implies that the models of a reflexive action calculus are given by models of

This section describes results concerning graphs relatively close to minimum K p -saturated graphs, such as the saturation number of K p with restrictions on the minimum or

Nordenstam, Young, Domino shuffling on Novak half-hexagons and Aztec

modular proof of soundness using U-simulations.. & RIMS, Kyoto U.). Equivalence

It turns out that the symbol which is defined in a probabilistic way coincides with the analytic (in the sense of pseudo-differential operators) symbol for the class of Feller

This applies to the case where the induced action 1 ϕ acts transitively on the base manifold and states that each point in the bundle gives rise to a bijection between the set

Given a principal fibre bundle with structure group S, and a fibre transitive Lie group G of automorphisms thereon, Wang’s theorem identifies the invariant connections with

More precisely, the category of bicategories and weak functors is equivalent to the category whose objects are weak 2-categories and whose morphisms are those maps of opetopic