Go to:
Logótipo
Você está em: Start > Publications > Towards a pseudoequational proof theory > View related publications
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 Arquitectura da Universidade do Porto  I Terms and Conditions  I Acessibility  I Index A-Z  I Guest Book
Page created on: 2024-09-02 at 02:26:37 | Acceptable Use Policy | Data Protection Policy | Complaint Portal