%0 Conference Paper %1 conf/rta/KopS16 %A Kop, Cynthia %A Simonsen, Jakob Grue %B FSCD %D 2016 %E Kesner, Delia %E Pientka, Brigitte %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:18 %T Complexity Hierarchies and Higher-Order Cons-Free Rewriting. %U http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#KopS16 %V 52 %@ 978-3-95977-010-1

@inproceedings{conf/rta/KopS16, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kop, Cynthia and Simonsen, Jakob Grue}, biburl = {https://www.bibsonomy.org/bibtex/24e0f75b34c190637cb22ee45c8aab671/dblp}, booktitle = {FSCD}, crossref = {conf/rta/2016}, editor = {Kesner, Delia and Pientka, Brigitte}, ee = {https://doi.org/10.4230/LIPIcs.FSCD.2016.23}, interhash = {8d73dc35780d4e6e39503d0f9bd9b10b}, intrahash = {4e0f75b34c190637cb22ee45c8aab671}, isbn = {978-3-95977-010-1}, keywords = {dblp}, pages = {23:1-23:18}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:50:09.000+0100}, title = {Complexity Hierarchies and Higher-Order Cons-Free Rewriting.}, url = {http://dblp.uni-trier.de/db/conf/rta/fscd2016.html#KopS16}, volume = 52, year = 2016 }