Effects of Updates on Optimality in Tries
Langages á un Compteur
Context Free Normal Systems and ETOL Systems
On the Zero-inequivalence Problem far Loop Programs
Size-Space Tradeoffs for Oblivious Computations
Checking Sets, Test Sets, Rich Languages and Commutatively Closed Languages
Multiplicative Complexity and Algebraic Structure
On the Transformation Semigroups of Finite Automata
Network Structure and the Firing Squad Synchronization problem