Zobrazeno 1 - 10
of 75
pro vyhledávání: '"Lima, Maria J."'
Publikováno v:
EPTCS 389, 2023, pp. 80-95
The substitution lemma is a renowned theorem within the realm of lambda-calculus theory and concerns the interactional behaviour of the metasubstitution operation. In this work, we augment the lambda-calculus's grammar with an uninterpreted explicit
Externí odkaz:
http://arxiv.org/abs/2309.13801
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:
Lima, Maria J., Vuchkov, Todor, Ferreira, Fábio, Cavaleiro, Diogo, Costa, André, Cavaleiro, Albano, Carvalho, Sandra
Publikováno v:
In Surface & Coatings Technology 15 November 2023 472
Publikováno v:
In Chemical Engineering Journal 15 February 2022 430 Part 2
Publikováno v:
In Applied Surface Science 30 July 2021 555
Autor:
Lopes, Joana C., Sampaio, Maria J. *, Rosa, Bernardo, Lima, Maria J., Faria, Joaquim L., Silva, Cláudia G.
Publikováno v:
In Journal of Photochemistry & Photobiology, A: Chemistry 15 March 2020 391
Autor:
Costa, João B., Lima, Maria J., Sampaio, Maria J., Neves, Márcia C., Faria, Joaquim L., Morales-Torres, Sergio, Tavares, Ana P.M., Silva, Cláudia G.
Publikováno v:
In Chemical Engineering Journal 1 January 2019 355:974-985
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:
Svoboda, Ladislav, Praus, Petr, Lima, Maria J., Sampaio, Maria J., Matýsek, Dalibor, Ritz, Michal, Dvorský, Richard, Faria, Joaquim L., Silva, Cláudia G.
Publikováno v:
In Materials Research Bulletin April 2018 100:322-332
Publikováno v:
In Journal of Catalysis September 2017 353:44-53