%0 Journal Article %1 journals/iandc/KohlenbachBQ17 %A Kohlenbach, Ulrich %A Barceló, Pablo %A de Queiroz, Ruy J. G. B. %D 2017 %J Inf. Comput. %K dblp %P 193-194 %T 21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. %U http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#KohlenbachBQ17 %V 255

@article{journals/iandc/KohlenbachBQ17, added-at = {2017-11-28T00:00:00.000+0100}, author = {Kohlenbach, Ulrich and Barceló, Pablo and de Queiroz, Ruy J. G. B.}, biburl = {https://www.bibsonomy.org/bibtex/2261699dcd6967429006c0284ced5fa02/dblp}, ee = {https://doi.org/10.1016/j.ic.2017.01.001}, interhash = {2fd2ad80ca9eb6b8e4117514ae61500a}, intrahash = {261699dcd6967429006c0284ced5fa02}, journal = {Inf. Comput.}, keywords = {dblp}, pages = {193-194}, timestamp = {2017-12-07T17:40:08.000+0100}, title = {21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014.}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc255.html#KohlenbachBQ17}, volume = 255, year = 2017 }