Showing 1–12 of 12 results
/ Date/ Name
Oct 22, 2013The camera of the fifth H.E.S.S. telescope. Part I: System descriptionOct 17, 2016Contributions of the Cherenkov Telescope Array (CTA) to the 6th International Symposium on High-Energy Gamma-Ray Astronomy (Gamma 2016)Aug 24, 2015CTA Contributions to the 34th International Cosmic Ray Conference (ICRC2015)Jul 8, 2013CTA contributions to the 33rd International Cosmic Ray Conference (ICRC2013)May 20, 2022General Ramified Recurrence and Polynomial-time CompletenessDec 21, 2006Adventures in time and spaceJun 15, 2012A static cost analysis for a higher-order languageFeb 10, 2011Axiomatizing Resource Bounds for MeasureJan 11, 2007Time-complexity semantics for feasible affine recursions (extended abstract)Jan 22, 2012Ramified Structural Recursion and CorecursionOct 3, 2007Two algorithms in search of a type systemNov 5, 2023MELCHIORS: The Mercator Library of High Resolution Stellar Spectroscopy