%0 Conference Paper %1 conf/frocos/ChocronFR15 %A Chocron, Paula %A Fontaine, Pascal %A Ringeissen, Christophe %B FroCos %D 2015 %E Lutz, Carsten %E Ranise, Silvio %I Springer %K %P 275-290 %T A Rewriting Approach to the Combination of Data Structures with Bridging Theories. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#ChocronFR15 %V 9322 %@ 978-3-319-24245-3

@inproceedings{conf/frocos/ChocronFR15, added-at = {2023-12-13T10:33:18.000+0100}, author = {Chocron, Paula and Fontaine, Pascal and Ringeissen, Christophe}, biburl = {https://www.bibsonomy.org/bibtex/22b1cef34583d7d0759922a638e389abe/admin}, booktitle = {FroCos}, crossref = {conf/frocos/2015}, editor = {Lutz, Carsten and Ranise, Silvio}, ee = {https://doi.org/10.1007/978-3-319-24246-0_17}, interhash = {d886ab30356f5bed68c6dd3bcf02b4ed}, intrahash = {2b1cef34583d7d0759922a638e389abe}, isbn = {978-3-319-24245-3}, keywords = {}, pages = {275-290}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:33:18.000+0100}, title = {A Rewriting Approach to the Combination of Data Structures with Bridging Theories.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#ChocronFR15}, volume = 9322, year = 2015 }