This volume contains the proceedings of an international conference which reflects the current research concerns of the theoretical computer science community. Topics discussed include algorithms, automata theory, functional programming, semantics, logic and structural complexity theory.
This volume contains the proceedings of an international conference which reflects the current research concerns of the theoretical computer science c...