Takahiro Sanada

发表

Category-Graded Algebraic Theories and Eﬀect Handlers

Takahiro Sanada, 2022 .

Preorder-Constrained Simulation for Nondeterministic Automata

Koko Muroya, Takahiro Sanada, Natsuki Urabe, 2021 .

Preorder-Constrained Simulation for Nondeterministic Automata (Early Ideas)

Natsuki Urabe, Koko Muroya, Takahiro Sanada, 2021, CALCO.

Effect of U74006F on neurologic function and brain edema after fluid percussion injury in rats.

L. Pitts, M. Nishimura, T. Nakamura, 1993, Journal of neurotrauma.