Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Godel's system T revisited > Visualizar Publicações Relacionadas

Publicações

Publicações com a mesma revista da publicação Godel's system T revisited

Agrupar Por: Ordenação:

Artigo em Revista Científica Internacional

Weak linearization of the lambda calculus
Alves, S (Autor) (FCUP); Florido, M (Autor) (FCUP)
Turing machines and bimachines
John Rhodes (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)
Turing machines and bimachines
Rhodes, J (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)
The k-word problem over DRH
Célia Borlido (Autor) (FCUP)
2017
Documentos
The homomorphism problem for trace monoids
Pedro V. Silva (Autor) (FCUP)
The decidability of a fragment of BB ' IW-logic
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP); Finger, M (Autor) (Outra); Silva, PSE (Autor) (Outra)
SC-hyperdecidability of R
Almeida, J (Autor) (FCUP); Silva, PV (Autor) (FCUP)
Rational subsets of partially reversible monoids
Pedro V. Silva (Autor) (FCUP)
Optimal state reductions of automata with partially specified behaviors
Nelma Moreira (Autor) (FCUP); Pighizzini, G (Autor) (Outra); Rogério Reis (Autor) (FCUP)
On uniformly continuous functions for some profinite topologies
Pedro V. Silva (Autor) (FCUP); Jean-Eric Pin (Autor) (Outra)
On the rate of decrease in logical depth
antunes, l (Autor) (FCUP); souto, a (Autor) (Outra); Vitanyi, PMB (Autor) (Outra)
On the lattice of prefix codes
Antonio Restivo (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)
On the lattice of prefix codes
Restivo, A (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)
On the difference set of two transductions
Konstantinidis, S (Autor) (Outra); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP); Sebej, J (Autor) (Outra)
On the average complexity of partial derivative transducers *,**,***
Konstantinidis, S (Autor) (Outra); António Machiavelo (Autor) (FCUP); Nelma Moreira (Autor) (FCUP); Rogério Reis (Autor) (FCUP)
On principal types of combinators
Broda, S (Autor) (FCUP); Damas, L (Autor) (FCUP)
On Fine and Wilf's theorem for bidimensional words
Filippo Mignosi (Autor) (Outra); Antonio Restivo (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)
On Fine and Wilf's theorem for bidimensional words
Mignosi, F (Autor) (Outra); Restivo, A (Autor) (Outra); Pedro V. Silva (Autor) (FCUP)

Registos 1 a 20 de 37

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

Recomendar Página Voltar ao Topo
Copyright 1996-2025 © Faculdade de Direito da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z
Página gerada em: 2025-07-30 às 14:18:23 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias