Generalised dynamic ordinals - universal measures for implicit computational complexity
Date first appeared online
DOI
Authors Beckmann A.
Journal Name Lecture Notes in Logic
Volume 27

Documents