Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc170208, author = {Jean-Baptiste~Jeannin and Dexter~Kozen}, title = {Computing with Capsules}, journal = jalc, year = 2012, volume = 17, number = {2--4}, pages = {185--204} }