The following pages link to Yuta Takahashi (Q2000673):
Displaying 13 items.
- Completeness of second-order intuitionistic propositional logic with respect to phase semantics for proof-terms (Q2000674) (← links)
- Geometric construction of quotients \(G/H\) in supersymmetry (Q2040597) (← links)
- Hopf-algebraic techniques applied to super Lie groups over a complete field (Q2197551) (← links)
- Noncolliding Brownian motion with drift and time-dependent Stieltjes-Wigert determinantal point process (Q2872365) (← links)
- Oscillatory matrix model in Chern-Simons theory and Jacobi-theta determinantal point process (Q2924902) (← links)
- (Q3392643) (← links)
- (Q5018496) (← links)
- Streaming ranked-tree-to-string transducers (Q5918275) (← links)
- Streaming ranked-tree-to-string transducers (Q5918805) (← links)
- Edge states of mechanical diamond and its topological origin (Q6157993) (← links)
- Torsors in super-symmetry (Q6357936) (← links)
- Fano $4$-folds with nef tangent bundle in positive characteristic (Q6415590) (← links)
- A Simplified Application of Howard’s Vector Notation System to Termination Proofs for Typed Lambda-Calculus Systems (Q6486041) (← links)