Zobrazeno 1 - 10
of 291
pro vyhledávání: '"Ortega, Angel"'
Publikováno v:
In Environmental Pollution 1 October 2024 358
Autor:
Mérida-Ortega, Ángel, Ugalde-Resano, Rodrigo, Rincón-Rubio, Alma, Flores-Collado, Gisela, Flores-García, M. Karen, Rangel-Moreno, Karla, Gennings, Chris, López-Carrillo, Lizbeth
Publikováno v:
In Journal of Trace Elements in Medicine and Biology July 2024 84
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Asmat-Campos, David, López-Medina, Eloy, Gil-Rivero, Efraín, Villena-Zapata, Luigi, Carreño-Ortega, Angel
Publikováno v:
In Biocatalysis and Agricultural Biotechnology September 2023 52
Autor:
Armenta-Guirado, Brianda I., González-Rocha, Alejandra, Mérida-Ortega, Ángel, López-Carrillo, Lizbeth, Denova-Gutiérrez, Edgar
Publikováno v:
In Advances in Nutrition July 2023 14(4):685-709
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
The Homeomorphic Embedding relation has been amply used for defining termination criteria of symbolic methods for program analysis, transformation, and verification. However, homeomorphic embedding has never been investigated in the context of order-
Externí odkaz:
http://arxiv.org/abs/1808.05097
This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including order-sorted equational unification fo
Externí odkaz:
http://arxiv.org/abs/1707.05599