Skip to main content

1 Result(s)

within J. J. M. M. Rutten Remove this filter

and
Your search also matched 15 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Regular Varieties of Automata and Coequations

Include preview-only content

  1. Article

    Open Access

    A proof of Moessner’s theorem by coinduction

    We present a coinductive proof of Moessner’s theorem. This theorem describes the construction of the stream (1 n ,2 n ,3 n ...

    M. Niqui, J. J. M. M. Rutten in Higher-Order and Symbolic Computation (2011)

    Download PDF (519 KB) View Article