APA Citation

Berger, U. (2010). Realisability for Induction and Coinduction with Applications to Constructive Analysis. Journal of Universal Computer Science, 16(18), pp. 2535-2555. doi:10.3217/jucs-016-18-2535

Chicago Style Citation

Berger, Ulrich. "Realisability for Induction and Coinduction With Applications to Constructive Analysis." Journal of Universal Computer Science 16, no. 18 (2010): 2535-2555.

MLA Citation

Berger, Ulrich. "Realisability for Induction and Coinduction With Applications to Constructive Analysis." Journal of Universal Computer Science 16.18 (2010): 2535-2555.

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