scientific article; zbMATH DE number 4115969

zbMath0681.68064MaRDI QIDQ4730781

Bruno Salvy, Paul Zimmermann, Philippe Flajolet

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generating functionsanalysis of algorithmsdata structurescombinatorial analysisautomatic analysisdata typesterm treesAlgebraic Analyzeralgorithms analyzeraverage case analyzes of algorithms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Exact enumeration problems, generating functions (05A15) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items

Attribute grammars and automatic complexity analysis, Automatic average-case analysis of algorithms, Verified analysis of random binary tree structures, Speeding up the computations on an elliptic curve using addition-subtraction chains, Complexity analysis of term-rewriting systems, Sorting Algorithms in MOQA