%0 Journal Article %1 journals/corr/BernardyJ16 %A Bernardy, Jean-Philippe %A Jansson, Patrik %D 2016 %J Logical Methods in Computer Science %K dblp %N 2 %T Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#BernardyJ16 %V 12

@article{journals/corr/BernardyJ16, added-at = {2019-09-16T00:00:00.000+0200}, author = {Bernardy, Jean-Philippe and Jansson, Patrik}, biburl = {https://www.bibsonomy.org/bibtex/200f8e445efac2ec92fa3ea6d88239cfd/dblp}, ee = {http://arxiv.org/abs/1601.07724}, interhash = {f1739b233d50c5b308d4844c479accfa}, intrahash = {00f8e445efac2ec92fa3ea6d88239cfd}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 2, timestamp = {2019-09-17T11:56:35.000+0200}, title = {Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs12.html#BernardyJ16}, volume = 12, year = 2016 }