Shall We Juggle, Coinductively?

DOI10.1007/978-3-642-35308-6_14zbMath1385.68039OpenAlexW1668844126WikidataQ60691864 ScholiaQ60691864MaRDI QIDQ4916059

Keisuke Nakano

Publication date: 19 April 2013

Published in: Certified Programs and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35308-6_14

Mathematics Subject Classification ID

Bernoulli and Euler numbers and polynomials (11B68) Permutations, words, matrices (05A05)

Uses Software

• Unnamed Item

This page was built for publication: Shall We Juggle, Coinductively?