Counting and Addition Cannot Express Deterministic Transitive Closure.

Matthias Ruhl

Browse the full LICS paper archive.