Zobrazeno 1 - 10
of 137
pro vyhledávání: '"Sales, Emerson A."'
The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now. In 2015, Dag Prawitz proposed a natural deduction system for an ecumen
Externí odkaz:
http://arxiv.org/abs/2204.02076
The discussion about how to put together Gentzen's systems for classical and intuitionistic logic in a single unified system is back in fashion. Indeed, recently Prawitz and others have been discussing the so called Ecumenical Systems, where connecti
Externí odkaz:
http://arxiv.org/abs/2005.14325
Autor:
K., Vignesh, R., Atchaya, Rao G., Pavan Kumar, Balan, Shraddha, B.M., Jaffar Ali, Sales, Emerson Andrade, R., Arun Prasath, Aranda, Donato A.G.
Publikováno v:
In Bioresource Technology Reports September 2023 23
Autor:
Marques, Isadora Machado, Oliveira, Adna Caroline Vale, de Oliveira, Olivia Maria Cordeiro, Sales, Emerson Andrade, Moreira, Ícaro Thiago Andrade
Publikováno v:
In Chemosphere October 2021 281
Publikováno v:
In Energy Conversion and Management 1 June 2017 141:216-223
Publikováno v:
In Renewable and Sustainable Energy Reviews June 2016 59:160-165
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:
In Journal of Cleaner Production 1 June 2015 96:493-500
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:
Pereira, Darlan A., José, Nadia M., Villamizar, Sonia M.G., Sales, Emerson A., Perelo, Louisa W.
Publikováno v:
In Bioresource Technology April 2014 158:98-104