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

Research output: Contribution to journal › Article › peer-review

208 Downloads (Pure)

Original language	English
Pages (from-to)	-
Journal	Journal of Logical and Algebraic Methods in Programming
DOIs	https://doi.org/10.1016/j.jlamp.2015.11.004
Publication status	Published - 2 Dec 2015

Access to Document

@article{c4c0a580b1244b8cb752f8558e0098ad,

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

author = "Joao Ferreira and Alexandra Mendes",

year = "2015",

month = dec,

day = "2",

doi = "10.1016/j.jlamp.2015.11.004",

language = "English",

pages = "--",

journal = "Journal of Logical and Algebraic Methods in Programming",

issn = "2352-2216",

publisher = "Elsevier",

}

TY - JOUR

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

AU - Ferreira, Joao

AU - Mendes, Alexandra

PY - 2015/12/2

Y1 - 2015/12/2

U2 - 10.1016/j.jlamp.2015.11.004

DO - 10.1016/j.jlamp.2015.11.004

M3 - Article

SN - 2352-2216

SP - -

JO - Journal of Logical and Algebraic Methods in Programming

JF - Journal of Logical and Algebraic Methods in Programming

ER -