%0 Conference Paper %1 conf/icms/KohlhaseI14 %A Kohlhase, Michael %A Iancu, Mihnea %B ICMS %D 2014 %E Hong, Hoon %E Yap, Chee %I Springer %K %P 36-40 %T Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. %U http://dblp.uni-trier.de/db/conf/icms/icms2014.html#KohlhaseI14 %V 8592 %@ 978-3-662-44198-5

@inproceedings{conf/icms/KohlhaseI14, added-at = {2023-12-14T15:09:49.000+0100}, author = {Kohlhase, Michael and Iancu, Mihnea}, biburl = {https://www.bibsonomy.org/bibtex/22c1aa5e46d8fec760d4974233b1c48c8/admin}, booktitle = {ICMS}, crossref = {conf/icms/2014}, editor = {Hong, Hoon and Yap, Chee}, ee = {https://www.wikidata.org/entity/Q57389319}, interhash = {e7edabe0c63bf3d28572da8112dbf6e4}, intrahash = {2c1aa5e46d8fec760d4974233b1c48c8}, isbn = {978-3-662-44198-5}, keywords = {}, pages = {36-40}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T15:09:49.000+0100}, title = {Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2014.html#KohlhaseI14}, volume = 8592, year = 2014 }