Computing with capsules (2012)

by Jean-Baptiste Jeannin, Dexter Kozen
Venue:Proc. Conf. Descriptional Complexity of Formal Systems (DCFS 2012), volume 7386 of Lecture Notes in Computer Science