Browsing by Author Neves, Renato
Showing results 12 to 14 of 14
< previous
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article | |
2-Apr-2016 | Reuse and integration of specification logics: the hybridisation perspective | Barbosa, Luís S.; Martins, Manuel A.; Madeira, Alexandre; Neves, Renato | bookPart | |
2015 | Sistema Integrado de Gestão de Bibliotecas: o estudo de caso das Bibliotecas UA | Martins, Ana Bela; Cortês, Cristina; Cruz, Nuno; Martins, Ricardo; Trancho, Filipe; Lobo, Pedro; Neves, Renato; Pinto, João | conferenceObject |