Takayama, Y. (1988). Proof theoretic approach to the extraction of redundancy-free realizer codes.
Chicago-Zitierstil (17. Ausg.)Takayama, Yukihide. Proof Theoretic Approach to the Extraction of Redundancy-free Realizer Codes. Tokyo, Japan, 1988.
MLA-Zitierstil (9. Ausg.)Takayama, Yukihide. Proof Theoretic Approach to the Extraction of Redundancy-free Realizer Codes. 1988.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.