The following pages link to Hirokazu Nishimura (Q195143):
Displaying 50 items.
- Morse theory and Floer homology. Translated from the French by Reinie Erné (Q371048) (← links)
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- A characterization of entropy in terms of information loss (Q400959) (← links)
- Categorical pairs and the indicative shift (Q440655) (← links)
- On distributive lattices and weakly Mal'tsev categories (Q456871) (← links)
- Categories generated by a trivalent vertex (Q522650) (← links)
- A cut-free sequential system for the propositional modal logic of finite chains (Q585187) (← links)
- Is the semantics of branching structures adequate for chronological modal logics? (Q599807) (← links)
- Is the semantics of branching structures adequate for non-metric Ockhamist tense logics? (Q599808) (← links)
- An invitation to higher gauge theory (Q639906) (← links)
- The pullback equation for differential forms (Q645267) (← links)
- Synthetic Hamiltonian mechanics (Q678648) (← links)
- Quantum logics and completeness criteria of inner product spaces (Q685175) (← links)
- Empirical set theory (Q689299) (← links)
- Nonordered quantum logic and its YES-NO representation (Q689309) (← links)
- Logic and grammar (Q692192) (← links)
- Variations on algebra: Monadicity and generalisations of equational theories (Q699931) (← links)
- Non-commutative linear logic in linguistics (Q700787) (← links)
- Synthetic vector analysis. II (Q702973) (← links)
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals (Q725281) (← links)
- Operational set theory and small large cardinals (Q731889) (← links)
- Sheaves and sheafification on Q-sites (Q735420) (← links)
- Modular envelopes, OSFT and nonsymmetric (non-\(\Sigma\)) modular operads (Q740108) (← links)
- Some corrections on my paper ``Some connections between Heyting valued set theory and algebraic geometry: Prolegomena to intuitionistic algebraic geometry'' (Q749529) (← links)
- A completeness theorem for dynamic logic (Q760793) (← links)
- An extension of Quillen's theorem B (Q784247) (← links)
- (Q792082) (redirect page) (← links)
- Propositional dynamic logic of nonregular programs (Q792083) (← links)
- A probabilistic dynamic logic (Q792757) (← links)
- Closures and fairness in the semantics of programming logic (Q799098) (← links)
- Computable compositions and universal program logics (Q800721) (← links)
- Undecidability of PDL with \(L=\{a^{2^ i}| i\geq 0\}\) (Q801901) (← links)
- An exactification of the monoid of primitive recursive functions (Q817674) (← links)
- Anyons in an exactly solved model and beyond (Q819156) (← links)
- Operadic structure on the Gerstenhaber-Schack complex for prestacks (Q832413) (← links)
- A geometric theory of harmonic and semi-conformal maps (Q867338) (← links)
- Hamiltonian reduction by stages (Q884947) (← links)
- On the interpretability of arithmetic in temporal logic (Q915718) (← links)
- Axioms and models of linear logic (Q915719) (← links)
- On local integrability conditions of jet groupoids (Q941632) (← links)
- Curvature in synthetic differential geometry of groupoids (Q945954) (← links)
- The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal (Q947854) (← links)
- Morita classes of algebras in modular tensor categories (Q952409) (← links)
- Comparing corresponding dihedral angles on classical geometric simplices (Q953949) (← links)
- Cubical version of combinatorial differential forms (Q969692) (← links)
- The genesis of Feynman diagrams. (Q971785) (← links)
- On the categorical meaning of Hausdorff and Gromov distances. I. (Q972523) (← links)
- The local functors of points of supermanifolds (Q984622) (← links)
- Centre of an algebra (Q986080) (← links)
- Pregroups and natural language processing (Q1002122) (← links)
