%0 Conference Paper %1 conf/macis/DumasDEPR15 %A Dumas, Jean-Guillaume %A Duval, Dominique %A Ekici, Burak %A Pous, Damien %A Reynaud, Jean-Claude %B MACIS %D 2015 %E Kotsireas, Ilias S. %E Rump, Siegfried M. %E Yap, Chee K. %I Springer %K dblp %P 596-610 %T Relative Hilbert-Post Completeness for Exceptions. %U http://dblp.uni-trier.de/db/conf/macis/macis2015.html#DumasDEPR15 %V 9582 %@ 978-3-319-32858-4

@inproceedings{conf/macis/DumasDEPR15, added-at = {2019-10-19T00:00:00.000+0200}, author = {Dumas, Jean-Guillaume and Duval, Dominique and Ekici, Burak and Pous, Damien and Reynaud, Jean-Claude}, biburl = {https://www.bibsonomy.org/bibtex/27bf50fd7f5c1746097af7f8c19c972a3/dblp}, booktitle = {MACIS}, crossref = {conf/macis/2015}, editor = {Kotsireas, Ilias S. and Rump, Siegfried M. and Yap, Chee K.}, ee = {https://doi.org/10.1007/978-3-319-32859-1_51}, interhash = {645438b57fb37ae0676f449f8b46eb0a}, intrahash = {7bf50fd7f5c1746097af7f8c19c972a3}, isbn = {978-3-319-32858-4}, keywords = {dblp}, pages = {596-610}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:17:39.000+0200}, title = {Relative Hilbert-Post Completeness for Exceptions.}, url = {http://dblp.uni-trier.de/db/conf/macis/macis2015.html#DumasDEPR15}, volume = 9582, year = 2015 }