%0 Conference Paper %1 conf/itp/LambanMRR17 %A Lambán, Laureano %A Martín-Mateos, Francisco J. %A Rubio, Julio %A Ruiz-Reina, José-Luis %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 354-370 %T Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#LambanMRR17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/LambanMRR17, added-at = {2020-11-17T00:00:00.000+0100}, author = {Lambán, Laureano and Martín-Mateos, Francisco J. and Rubio, Julio and Ruiz-Reina, José-Luis}, biburl = {https://www.bibsonomy.org/bibtex/23f69fe7cfb68720223afb8f1f7a44ba8/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_23}, interhash = {ccced0dd6263162c8a3fc68a1f142061}, intrahash = {3f69fe7cfb68720223afb8f1f7a44ba8}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {354-370}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-11-19T11:38:44.000+0100}, title = {Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#LambanMRR17}, volume = 10499, year = 2017 }