A proof of Moessner's theorem by coinduction.

2012

Additional Metadata
THEME	Software (theme 1)
Publisher	Springer
Journal	Higher-order and Symbolic Computation
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Niqui, M., & Rutten, J. (2012). A proof of Moessner's theorem by coinduction. . Higher-order and Symbolic Computation, 24(3), 191–206.

Publication