Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)

Detalles Bibliográficos
Autores: Divasón, Jose [0000-0002-5173-128X], Thiemann, René
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2022
País:España
Institución:Universidad de La Rioja (UR)
Repositorio:RIUR. Repositorio Institucional de la Universidad de La Rioja
OAI Identifier:oai:portal.dialnet.es:doc/631ce8f863e72b1052563699
Acceso en línea:https://investigacion.unirioja.es/documentos/631ce8f863e72b1052563699
Access Level:acceso abierto
id ES_a8794e1005c42aeab0c35fc0ce145db8
oai_identifier_str oai:portal.dialnet.es:doc/631ce8f863e72b1052563699
network_acronym_str ES
network_name_str España
repository_id_str
spelling Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)Divasón, Jose [0000-0002-5173-128X]Thiemann, RenéSpringer Science and Business Media B.V.2022info:eu-repo/semantics/articleSubtype: Erratuminfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://investigacion.unirioja.es/documentos/631ce8f863e72b1052563699reponame:RIUR. Repositorio Institucional de la Universidad de La Riojainstname:Universidad de La Rioja (UR)Inglésinfo:eu-repo/semantics/altIdentifier/doi/10.1007/S10817-022-09636-0info:eu-repo/semantics/altIdentifier/eissn/1573-0670info:eu-repo/semantics/altIdentifier/pissn/0168-7433Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5), 2022, vol. 66, núm. 4, pág. 1097info:eu-repo/semantics/openAccessoai:portal.dialnet.es:doc/631ce8f863e72b10525636992026-06-14T12:47:17Z
dc.title.none.fl_str_mv Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
title Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
spellingShingle Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
Divasón, Jose [0000-0002-5173-128X]
title_short Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
title_full Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
title_fullStr Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
title_full_unstemmed Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
title_sort Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5)
dc.creator.none.fl_str_mv Divasón, Jose [0000-0002-5173-128X]
Thiemann, René
author Divasón, Jose [0000-0002-5173-128X]
author_facet Divasón, Jose [0000-0002-5173-128X]
Thiemann, René
author_role author
author2 Thiemann, René
author2_role author
publishDate 2022
dc.date.none.fl_str_mv 2022
dc.type.none.fl_str_mv info:eu-repo/semantics/article
Subtype: Erratum
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://investigacion.unirioja.es/documentos/631ce8f863e72b1052563699
url https://investigacion.unirioja.es/documentos/631ce8f863e72b1052563699
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.1007/S10817-022-09636-0
info:eu-repo/semantics/altIdentifier/eissn/1573-0670
info:eu-repo/semantics/altIdentifier/pissn/0168-7433
Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic (Journal of Automated Reasoning, (2022), 66, 4, (1065-1095), 10.1007/s10817-022-09631-5), 2022, vol. 66, núm. 4, pág. 1097
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Science and Business Media B.V.
publisher.none.fl_str_mv Springer Science and Business Media B.V.
dc.source.none.fl_str_mv reponame:RIUR. Repositorio Institucional de la Universidad de La Rioja
instname:Universidad de La Rioja (UR)
instname_str Universidad de La Rioja (UR)
reponame_str RIUR. Repositorio Institucional de la Universidad de La Rioja
collection RIUR. Repositorio Institucional de la Universidad de La Rioja
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869415882627743744
score 15,301603

Similares en LA Referencia