- Title
- Linear Logic and the Complexity of Flow Analysis
- Creators
- Harry Mairson - Brandeis University, Michtom School of Computer Science
- Conference
- Workshop on Implicit Computational Complexity (Paris (France), 02/11/2008 - 02/13/2008)
- Identifiers
- 9924138725301921
- Academic Unit
- Benjamin and Mae Volen National Center for Complex Systems; Michtom School of Computer Science
- Language
- English
- Resource Type
- Conference presentation
Conference presentation
Linear Logic and the Complexity of Flow Analysis
Workshop on Implicit Computational Complexity (Paris (France), 02/11/2008 - 02/13/2008)
02/11/2008
Metrics
3 Record Views