Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 31 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014Confluence for classical logic through the distinction between values and computationsEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji; Pinto, Luís F.Artigo em ata de conferênciaAcesso aberto
2004Reducibility of joins involving some locally trivial pseudovarietiesCosta, José CarlosArtigoAcesso aberto
2014Weak morphisms of higher dimensional automataKahl, ThomasArtigoAcesso restrito UMinho
21-Ago-2021A dynamic neural field model of continuous input integrationWojtak, Weronika; Coombes, Stephen; Avitabile, Daniele; Bicho, Estela; Erlhagen, WolframArtigoAcesso aberto
16-Nov-2021Numerical study of hydrodynamic resistance on a sportive sprint hullBarros, Francisco; Viriato, Nuno; Veiga Rodrigues, Carlos; Ferrás, Luís Jorge Lima; Vaz, Mário A. P.; Afonso, Alexandre M.ArtigoAcesso aberto
Jul-2018Computational Aspects of Quaternionic Polynomials - Part II: Root-Finding MethodsFalcão, M. I.; Miranda, Fernando; Severino, Ricardo; Soares, M. J.ArtigoAcesso aberto
6-Set-2019Higher-dimensional automata modeling shared-variable systemsKahl, ThomasArtigoAcesso aberto
2019Modal embeddings and calling paradigmsEspírito Santo, José; Pinto, Luís F.; Uustalu, TarmoArtigo em ata de conferênciaAcesso aberto
2008On bases of identities for the ω-variety generated by locally testable semigroupsCosta, José Carlos; Nogueira, ConceiçãoArtigoAcesso aberto
2009Some structural properties of the free profinite aperiodic semigroupAlmeida, Jorge; Costa, José Carlos; Zeitoun, MarcArtigo em ata de conferênciaAcesso aberto