%0 Journal Article %1 journals/corr/abs-1101-1449 %A Cook, Stephen A. %A Fontes, Lila %D 2012 %J Logical Methods in Computer Science %K dblp %N 1 %T Formal Theories for Linear Algebra %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1101-1449 %V 8

@article{journals/corr/abs-1101-1449, added-at = {2019-05-14T00:00:00.000+0200}, author = {Cook, Stephen A. and Fontes, Lila}, biburl = {https://www.bibsonomy.org/bibtex/2c47cdb3b9dd50047213d7fe9b74c092a/dblp}, ee = {http://arxiv.org/abs/1101.1449}, interhash = {59923f67e7d5c08d98957814222865cc}, intrahash = {c47cdb3b9dd50047213d7fe9b74c092a}, journal = {Logical Methods in Computer Science}, keywords = {dblp}, number = 1, timestamp = {2019-05-15T11:50:49.000+0200}, title = {Formal Theories for Linear Algebra}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1101-1449}, volume = 8, year = 2012 }