Percorrer por assunto Decision procedure
Mostrar 1-1 de um total de 1 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
---|---|---|---|---|
Out-2019 | Decidability of several concepts of finiteness for simple types | Espírito Santo, José; Matthes, Ralph; Pinto, Luís F. | Artigo | Acesso aberto |