%0 Conference Paper %1 conf/csl/CookF10 %A Cook, Stephen A. %A Fontes, Lila %B CSL %D 2010 %E Dawar, Anuj %E Veith, Helmut %I Springer %K dblp %P 245-259 %T Formal Theories for Linear Algebra. %U http://dblp.uni-trier.de/db/conf/csl/csl2010.html#CookF10 %V 6247 %@ 978-3-642-15204-7

@inproceedings{conf/csl/CookF10, added-at = {2017-05-24T00:00:00.000+0200}, author = {Cook, Stephen A. and Fontes, Lila}, biburl = {https://www.bibsonomy.org/bibtex/2fb71aa584181b6d70876d4c8f071d9a7/dblp}, booktitle = {CSL}, crossref = {conf/csl/2010}, editor = {Dawar, Anuj and Veith, Helmut}, ee = {https://doi.org/10.1007/978-3-642-15205-4_21}, interhash = {f3949dbce55b5f1a596b3456e3253362}, intrahash = {fb71aa584181b6d70876d4c8f071d9a7}, isbn = {978-3-642-15204-7}, keywords = {dblp}, pages = {245-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:34:58.000+0200}, title = {Formal Theories for Linear Algebra.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2010.html#CookF10}, volume = 6247, year = 2010 }