%0 Conference Paper %1 conf/csl/Pratt-HartmannS16 %A Pratt-Hartmann, Ian %A Szwast, Wieslaw %A Tendera, Lidia %B CSL %D 2016 %E Talbot, Jean-Marc %E Regnier, Laurent %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 39:1-39:21 %T Quine's Fluted Fragment is Non-Elementary. %U http://dblp.uni-trier.de/db/conf/csl/csl2016.html#Pratt-HartmannS16 %V 62 %@ 978-3-95977-022-4

@inproceedings{conf/csl/Pratt-HartmannS16, added-at = {2022-01-03T00:00:00.000+0100}, author = {Pratt-Hartmann, Ian and Szwast, Wieslaw and Tendera, Lidia}, biburl = {https://www.bibsonomy.org/bibtex/21b4a706999bb6f5e59039240af69e649/dblp}, booktitle = {CSL}, crossref = {conf/csl/2016}, editor = {Talbot, Jean-Marc and Regnier, Laurent}, ee = {https://doi.org/10.4230/LIPIcs.CSL.2016.39}, interhash = {f792e41fcce646226a2c9b12719b7bee}, intrahash = {1b4a706999bb6f5e59039240af69e649}, isbn = {978-3-95977-022-4}, keywords = {dblp}, pages = {39:1-39:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T06:35:15.000+0200}, title = {Quine's Fluted Fragment is Non-Elementary.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2016.html#Pratt-HartmannS16}, volume = 62, year = 2016 }