%0 Conference Paper %1 conf/mkm/0001RRK20 %A Müller, Dennis %A Rabe, Florian %A Rothgang, Colin %A Kohlhase, Michael %B CICM %D 2020 %E Benzmüller, Christoph %E Miller, Bruce R. %I Springer %K dblp %P 206-221 %T Representing Structural Language Features in Formal Meta-languages. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#0001RRK20 %V 12236 %@ 978-3-030-53518-6

@inproceedings{conf/mkm/0001RRK20, added-at = {2021-10-14T00:00:00.000+0200}, author = {Müller, Dennis and Rabe, Florian and Rothgang, Colin and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/294b9ea518a262b6cf1ae5d1cff291504/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2020}, editor = {Benzmüller, Christoph and Miller, Bruce R.}, ee = {https://doi.org/10.1007/978-3-030-53518-6_13}, interhash = {b732dc187cf73d4bf6de22f8e873e852}, intrahash = {94b9ea518a262b6cf1ae5d1cff291504}, isbn = {978-3-030-53518-6}, keywords = {dblp}, pages = {206-221}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T17:52:07.000+0200}, title = {Representing Structural Language Features in Formal Meta-languages.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#0001RRK20}, volume = 12236, year = 2020 }