Publications by Year

sign in

Journal

Higher-order and Symbolic Computation

Collection

Collection

ISSN: 1388-3690

Published by Springer

A proof of Moessner's theorem by coinduction. Article

Higher-order and Symbolic Computation, 24(3), 191-206.

M. Niqui (Milad) and J.J.M.M. Rutten (Jan)

January 2012

Previous

Refine Publication List

Address
- Centrum Wiskunde & Informatica
- Science Park 123 | 1098 XG Amsterdam | the Netherlands

CWI researchers
- Register Your Work
Questions or comments?
- repository@cwi.nl

Workflow

Workflow

Add Content

User Publication Person Organisation Collection

Close