Zobrazeno 1 - 10
of 223
pro vyhledávání: '"Fernandez, Maribel"'
Publikováno v:
MFPS 2024
Nominal algebra includes $\alpha$-equality and freshness constraints on nominal terms endowed with a nominal set semantics that facilitates reasoning about languages with binders. Nominal unification is decidable and unitary, however, its extension w
Externí odkaz:
http://arxiv.org/abs/2407.14253
Autor:
Cheney, James, Fernández, Maribel
We introduce Nominal Matching Logic (NML) as an extension of Matching Logic with names and binding following the Gabbay-Pitts nominal approach. Matching logic is the foundation of the $\mathbb{K}$ framework, used to specify programming languages and
Externí odkaz:
http://arxiv.org/abs/2207.14139
Autor:
Juárez-Trujillo, Naida, Alvarado-Olivarez, Mayvi, Sánchez-Mendizabal, Salvador, Jiménez-Fernández, Maribel
Publikováno v:
In Food and Chemical Toxicology December 2024 194
Autor:
Huerta Vera, Karina, Arévalo Galarza, María de Lourdes Catalina, Contreras Oliva, Adriana, Pascual Pineda, Luz Alicia, Jiménez Fernández, Maribel, Salazar, Ricardo, Castillo Morales, Marisol, Flores Andrade, Enrique
Publikováno v:
In Food Bioscience August 2024 60
We define EVL, a minimal higher-order functional language to deal with generic events. The notion of generic event extends the well-known notion of event traditionally used in a variety of areas, such as database management, concurrency, reactive sys
Externí odkaz:
http://arxiv.org/abs/2109.08960
Autor:
López-Alarcón, Cyndy Alejandra, Rascón-Díaz, Martha Paola, Pascual-Pineda, Luz A., Flores-Andrade, Enrique, Bonilla-Zavaleta, Enrique, Jiménez-Fernández, Maribel
Publikováno v:
In Powder Technology 1 January 2024 431
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.
Publikováno v:
EPTCS 292, 2019
This volume contains a selection of papers presented at Linearity/TLLA 2018: Joint Linearity and TLLA workshops (part of FLOC 2018) held on July 7-8, 2018 in Oxford. Linearity has been a key feature in several lines of research in both theoretical an
Externí odkaz:
http://arxiv.org/abs/1904.06159