%0 Conference Paper %1 conf/fsttcs/KrebsL13 %A Krebs, Andreas %A Limaye, Nutan %B FSTTCS %D 2013 %E Seth, Anil %E Vishnoi, Nisheeth K. %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 189-200 %T DLOGTIME Proof Systems. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2013.html#KrebsL13 %V 24 %@ 978-3-939897-64-4

@inproceedings{conf/fsttcs/KrebsL13, added-at = {2018-08-23T00:00:00.000+0200}, author = {Krebs, Andreas and Limaye, Nutan}, biburl = {https://www.bibsonomy.org/bibtex/27850df21d62d8f00284589129b9b2bc4/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2013}, editor = {Seth, Anil and Vishnoi, Nisheeth K.}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2013.189}, interhash = {4d3896088f9437d5f7a9a8334885138e}, intrahash = {7850df21d62d8f00284589129b9b2bc4}, isbn = {978-3-939897-64-4}, keywords = {dblp}, pages = {189-200}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-08-26T07:46:09.000+0200}, title = {DLOGTIME Proof Systems.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2013.html#KrebsL13}, volume = 24, year = 2013 }