A proof of Moessner’s theorem by coinduc
✍
M. Niqui, J. J. M. M. Rutten
📂
Article
📅
2011
🏛
Springer
🌐
English
⚖ 519 KB