APA (7th ed.) Citation

Takayama, Y. (1988). Proof theoretic approach to the extraction of redundancy-free realizer codes.

Chicago Style (17th ed.) Citation

Takayama, Yukihide. Proof Theoretic Approach to the Extraction of Redundancy-free Realizer Codes. Tokyo, Japan, 1988.

MLA (9th ed.) Citation

Takayama, Yukihide. Proof Theoretic Approach to the Extraction of Redundancy-free Realizer Codes. 1988.

Warning: These citations may not always be 100% accurate.