Logo image
Home Academic units
Sign in
MLL normalization and transitive closure: circuits, complexity, and Euler tours
Conference paper   Open access

MLL normalization and transitive closure: circuits, complexity, and Euler tours

Harry Mairson
GEOCAL (Geometry of Calculation): Implicit Computational Complexity (Luminy (Marseille, France), 02/2006 - 2006)
02/2006

Abstract

Multiplicative linear logic Graph algorithms Computer Science
pdf
GEOCAL-ICC1.07 MBDownloadView
Open Access

Metrics

2 File views/ downloads
34 Record Views

Details