AFP 2015 - PDF Preprint Papers

AFP 2015 International School on Advanced Functional Programming

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed AFP-2015 Paper

click to vote

AFP
2015
Springer

35views Formal Methods» more AFP 2015»

The Akra-Bazzi theorem and the Master theorem

8 years 16 days ago

Download afp.sourceforge.net

Manuel Eberl

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	35	The Akra-Bazzi theorem and the Master theorem	claim
2	31	Applicative Lifting	claim
3	30	Decreasing Diagrams II	claim
4	27	Algebraic Numbers in Isabelle/HOL	claim
5	27	Matrices, Jordan Normal Forms, and Spectral Radius Theory	claim
6	24	Parameterized Dynamic Tables	claim
7	23	Descartes' Rule of Signs	claim
8	20	Generating Cases from Labeled Subgoals	claim
9	18	Analysing and Comparing Encodability Criteria for Process Calculi	claim
10	18	Derivatives of Logical Formulas	claim
11	16	Euler's Partition Theorem	claim
12	16	The Inductive Unwinding Theorem for CSP Noninterference Security	claim
13	15	The Divergence of the Prime Harmonic Series	claim
14	15	Deriving class instances for datatypes	claim
15	14	The Generic Unwinding Theorem for CSP Noninterference Security	claim
16	14	The Ipurge Unwinding Theorem for CSP Noninterference Security	claim
17	13	Reasoning about Lists via List Interleaving	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers