Percorrer por revistas 81314
Mostrar 4-5 de um total de 5 resultados.
< anterior
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
2004 | Type-based termination of recursive definitions | Barthe, Gilles Jacques Denis; Frade, M. J.; Giménez, E., et al. | Artigo | Acesso aberto |
2023 | Weighted synchronous automata | Gomes, Leandro; Madeira, Alexandre; Barbosa, L. S. | Artigo | Acesso aberto |