%0 Conference Paper %1 conf/lics/Schweikardt19 %A Schweikardt, Nicole %B LICS %D 2019 %I IEEE %K dblp %P 1-3 %T Local normal forms and their use in algorithmic meta theorems (Invited Talk). %U http://dblp.uni-trier.de/db/conf/lics/lics2019.html#Schweikardt19 %@ 978-1-7281-3608-0

@inproceedings{conf/lics/Schweikardt19, added-at = {2019-08-11T00:00:00.000+0200}, author = {Schweikardt, Nicole}, biburl = {https://www.bibsonomy.org/bibtex/20d5cb0a94f35f001051a2564cc6b0359/dblp}, booktitle = {LICS}, crossref = {conf/lics/2019}, ee = {https://doi.org/10.1109/LICS.2019.8785748}, interhash = {16a056e2a3c18dab8512e0d2900d56db}, intrahash = {0d5cb0a94f35f001051a2564cc6b0359}, isbn = {978-1-7281-3608-0}, keywords = {dblp}, pages = {1-3}, publisher = {IEEE}, timestamp = {2019-10-17T15:57:35.000+0200}, title = {Local normal forms and their use in algorithmic meta theorems (Invited Talk).}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2019.html#Schweikardt19}, year = 2019 }