Pointer recursion with tropical tiering is claimed to give a uniform syntactic characterization of logspace, polylogtime, P, and NC.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CC 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Pointers in Recursion: Exploring the Tropics
Pointer recursion with tropical tiering is claimed to give a uniform syntactic characterization of logspace, polylogtime, P, and NC.