Akra Bazzi

MaRDI QIDQ40309swMATHFDO

Authors Manuel Eberl

Publication date 14 July 2015

Official website https://www.isa-afp.org/entries/Akra_Bazzi.html

Cites work

• On the solution of linear recurrence equations

Cited in

(2)

• Proving divide and conquer complexities in Isabelle/HOL
• Landau Symbols

This page was built for software: Akra Bazzi