Saltar para:
Logótipo
Você está em: Início > Publicações > Towards a pseudoequational proof theory > Visualizar Publicações Relacionadas
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Publicações com os mesmos autores da publicação Towards a pseudoequational proof theory

Agrupar Por: Ordenação:

Artigo em Revista Científica Internacional

What makes a Stone topological algebra Profinite
Almeida, J (Autor) (FCUP); Goulet Ouellet, H (Autor) (Outra); Klima, O (Autor) (Outra)
The omega-inequality problem for concatenation hierarchies of star-free languages
Almeida, J (Autor) (FCUP); Klima, O (Autor) (Outra); Kunc, M (Autor) (Outra)
Reducibility vs. definability for pseudovarieties of semigroups
Almeida, J (Autor) (FCUP); Klima, O (Autor) (Outra)
On the irreducibility of pseudovarieties of semigroups
Almeida, J (Autor) (FCUP); Klima, O (Autor) (Outra)
On the insertion of n-powers
Almeida, J (Autor) (FCUP); Klima, O (Autor) (Outra)
Binary patterns in the Prouhet-Thue-Morse sequence
Almeida, J (Autor) (FCUP); Klima, O (Autor) (Outra)

Artigo em Livro de Atas de Conferência Internacional

On Decidability of Intermediate Levels of Concatenation Hierarchies
Almeida, J (Autor) (FCUP); Bartonova, J (Autor) (Outra); Klima, O (Autor) (Outra); Kunc, M (Autor) (Outra)

Registos 1 a 9 de 9

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Último Resultado
 

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Página gerada em: 2024-07-19 às 19:24:43 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias