%0 Report %1 KLMMR:AoNiLMD %A Kohlhase, Michael %A Lange, Christoph %A Müller, Christine %A Müller, Normen %A Rabe, Florian %D 2008 %K imported %N 2008-2 %T Adaptation of Notations in Living Mathematical Documents %U http://kwarc.info/publications/papers/KLMMR_AoNiLMD.pdf

@techreport{KLMMR:AoNiLMD, added-at = {2017-01-27T23:28:47.000+0100}, author = {Kohlhase, Michael and Lange, Christoph and M{\"u}ller, Christine and M{\"u}ller, Normen and Rabe, Florian}, bdsk-url-1 = {http://kwarc.info/publications/papers/KLMMR_AoNiLMD.pdf}, biburl = {https://www.bibsonomy.org/bibtex/224c67c19a41d909cac14a34dbf941b42/soeren}, institution = {Jacobs University Bremen}, interhash = {2fc1d172a903eccaea1fde76acd26d8e}, intrahash = {24c67c19a41d909cac14a34dbf941b42}, keywords = {imported}, month = apr, number = {2008-2}, pubs = {mkohlhase,clange,cmueller,nmueller,frabe,kwarc-report,projects/omdoc}, timestamp = {2017-01-27T23:30:12.000+0100}, title = {Adaptation of Notations in Living Mathematical Documents}, type = {{KWARC} Report}, url = {http://kwarc.info/publications/papers/KLMMR_AoNiLMD.pdf}, year = 2008 }