%0 Journal Article %1 journals/corr/abs-cs-0701032 %A Bonfante, Guillaume %A Guiraud, Yves %B Logical Methods in Computer Science %D 2009 %K %N 2 %T Programs as polygraphs: computability and complexity %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-cs-0701032 %V 5

@article{journals/corr/abs-cs-0701032, added-at = {2023-12-13T04:50:34.000+0100}, author = {Bonfante, Guillaume and Guiraud, Yves}, biburl = {https://www.bibsonomy.org/bibtex/29a025b6a575160ae1f36f0f49f9b13bc/admin}, booktitle = {Logical Methods in Computer Science}, ee = {http://arxiv.org/abs/cs/0701032}, interhash = {9b09585af4a1376cc2f417dc06583451}, intrahash = {9a025b6a575160ae1f36f0f49f9b13bc}, keywords = {}, number = 2, timestamp = {2023-12-13T04:50:34.000+0100}, title = {Programs as polygraphs: computability and complexity}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs5.html#abs-cs-0701032}, volume = 5, year = 2009 }