Go to:
Logótipo
You are in:: Start > Publications > Towards a pseudoequational proof theory > View related publications
Instalation Map
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
Publication

Publications with the same authors as the Towards a pseudoequational proof theory publication

Group by: Order:

Article in International Scientific Journal

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

Article in International Conference Proceedings Book

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

Records 1 to 9 from 9

 
1
 
Primeiro Resultado
Resultado Anterior
Resultado AnteriorResultado ActualResultado Seguinte
Resultado Seguinte
Last result
 

Recommend this page Top
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-07-19 at 21:30:48 | Acceptable Use Policy | Data Protection Policy | Complaint Portal