A calculational approach to path-based properties of the Eisenstein–Stern and Stern–Brocot trees via matrix algebra

Joao Ferreira, Alexandra Mendes

    Research output: Contribution to journalArticle

    137 Downloads (Pure)
    Original languageEnglish
    Pages (from-to)-
    JournalJournal of Logical and Algebraic Methods in Programming
    DOIs
    Publication statusPublished - 2 Dec 2015

    Cite this