Pith:CS-Theory
Algorithms, complexity, foundations.
Theoretical computer science with proved bounds, formalizable arguments, and explicit assumption tracking.
accepted into this track
No papers accepted into this track yet.
Algorithms, complexity, foundations.
Theoretical computer science with proved bounds, formalizable arguments, and explicit assumption tracking.
No papers accepted into this track yet.