Additional Metadata
THEME Software (theme 1)
Publisher Springer
Journal Higher-order and Symbolic Computation
Citation
Niqui, M, & Rutten, J.J.M.M. (2012). A proof of Moessner's theorem by coinduction. . Higher-order and Symbolic Computation, 24(3), 191–206.