%0 Conference Paper %1 conf/lics/EndrullisGH15 %A Endrullis, Jörg %A Grabmayer, Clemens %A Hendriks, Dimitri %B LICS %D 2015 %I IEEE Computer Society %K dblp %P 535-546 %T Regularity Preserving but Not Reflecting Encodings. %U http://dblp.uni-trier.de/db/conf/lics/lics2015.html#EndrullisGH15 %@ 978-1-4799-8875-4

@inproceedings{conf/lics/EndrullisGH15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Endrullis, Jörg and Grabmayer, Clemens and Hendriks, Dimitri}, biburl = {https://www.bibsonomy.org/bibtex/207f04db319ac7916736b03e28042a067/dblp}, booktitle = {LICS}, crossref = {conf/lics/2015}, ee = {http://dl.acm.org/citation.cfm?id=2876562}, interhash = {98042da24450bdc986ce427c58c8f360}, intrahash = {07f04db319ac7916736b03e28042a067}, isbn = {978-1-4799-8875-4}, keywords = {dblp}, pages = {535-546}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:41.000+0200}, title = {Regularity Preserving but Not Reflecting Encodings.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2015.html#EndrullisGH15}, year = 2015 }