Logo image
Home Academic units
Sign in
Linear Logic and the Complexity of Flow Analysis
Conference presentation

Linear Logic and the Complexity of Flow Analysis

Harry Mairson
Workshop on Implicit Computational Complexity (Paris (France), 02/11/2008 - 02/13/2008)
02/11/2008

Abstract

Computational complexity Computer logic Computer Science Computer Programming

Metrics

3 Record Views

Details