Computing with Capsules

Jean-Baptiste Jeannin, Dexter Kozen. Computing with Capsules. Journal of Automata, Languages and Combinatorics, 17(2-4):185-204, 2012.

Abstract

Abstract is missing.