%0 Conference Paper %1 conf/synasc/Sofronie-Stokkermans14 %A Sofronie-Stokkermans, Viorica %B SYNASC %D 2014 %E Winkler, Franz %E Negru, Viorel %E Ida, Tetsuo %E Jebelean, Tudor %E Petcu, Dana %E Watt, Stephen M. %E Zaharie, Daniela %I IEEE Computer Society %K dblp %P 34-41 %T Hierarchical Reasoning in Local Theory Extensions and Applications. %U http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#Sofronie-Stokkermans14 %@ 978-1-4799-8448-0

@inproceedings{conf/synasc/Sofronie-Stokkermans14, added-at = {2023-03-24T00:00:00.000+0100}, author = {Sofronie-Stokkermans, Viorica}, biburl = {https://www.bibsonomy.org/bibtex/2713b9646c809bd9a18149291c79f784a/dblp}, booktitle = {SYNASC}, crossref = {conf/synasc/2014}, editor = {Winkler, Franz and Negru, Viorel and Ida, Tetsuo and Jebelean, Tudor and Petcu, Dana and Watt, Stephen M. and Zaharie, Daniela}, ee = {https://doi.ieeecomputersociety.org/10.1109/SYNASC.2014.13}, interhash = {e9923b1d9893082448f654ffa22518f2}, intrahash = {713b9646c809bd9a18149291c79f784a}, isbn = {978-1-4799-8448-0}, keywords = {dblp}, pages = {34-41}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:14:24.000+0200}, title = {Hierarchical Reasoning in Local Theory Extensions and Applications.}, url = {http://dblp.uni-trier.de/db/conf/synasc/synasc2014.html#Sofronie-Stokkermans14}, year = 2014 }