%0 Journal Article %1 journals/corr/DumasDEPR15 %A Dumas, Jean-Guillaume %A Duval, Dominique %A Ekici, Burak %A Pous, Damien %A Reynaud, Jean-Claude %D 2015 %J CoRR %K %T Hilbert-Post completeness for the state and the exception effects. %U http://dblp.uni-trier.de/db/journals/corr/corr1503.html#DumasDEPR15 %V abs/1503.00948

@article{journals/corr/DumasDEPR15, added-at = {2023-12-12T22:40:57.000+0100}, author = {Dumas, Jean-Guillaume and Duval, Dominique and Ekici, Burak and Pous, Damien and Reynaud, Jean-Claude}, biburl = {https://www.bibsonomy.org/bibtex/2590ca3966abbc33f4c6b280d0a3b8548/admin}, ee = {http://arxiv.org/abs/1503.00948}, interhash = {4ce7e3b699b15b890dfabddd6771e731}, intrahash = {590ca3966abbc33f4c6b280d0a3b8548}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-12T22:40:57.000+0100}, title = {Hilbert-Post completeness for the state and the exception effects.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1503.html#DumasDEPR15}, volume = {abs/1503.00948}, year = 2015 }