Kazuaki Nagaoka

Incompleteness Results in Kripke Bundle Semantics

Eiko Isoda, Kazuaki Nagaoka, 1997, Math. Log. Q..

Electro-Optic Measurement Using High-Quality 4-dimethylamino-N-methyl-4-stilbazolium Tosylate (DAST) Crystal

Masashi Yoshimura, Tadao Nagatsuma, Ai-ichiro Sasaki, 2002 .