Skip to Main content Skip to Navigation
Journal articles

Function Composition and Automatic Average Case Analysis

P. Zimmermann 1
1 EURECA - Proof, Symbolic Computation and Logic
CRIN - Centre de Recherche en Informatique de Nancy, UHP - Université Henri Poincaré - Nancy 1
Résumé : no abstract
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/hal-00917747
Contributor : Paul Zimmermann <>
Submitted on : Thursday, December 12, 2013 - 12:42:45 PM
Last modification on : Friday, February 26, 2021 - 3:26:01 PM

Identifiers

  • HAL Id : hal-00917747, version 1

Collections

Citation

P. Zimmermann. Function Composition and Automatic Average Case Analysis. Discrete Mathematics, Elsevier, 1995, 139, pp.443-453. ⟨hal-00917747⟩

Share

Metrics

Record views

93