Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday

Publicações

Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday

Título
Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
Tipo
Outra Publicação em Revista Científica Internacional
Ano
2025
Autores
Madeira, A
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Oliveira, JN
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Proença, J
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Ver página ORCID
Neves, R
(Autor)
Outra
A pessoa não pertence à instituição. A pessoa não pertence à instituição. A pessoa não pertence à instituição. Sem AUTHENTICUS Sem ORCID
Revista
Vol. 143
ISSN: 2352-2208
Editora: Elsevier
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge - 0 Citações
Publicação em Scopus Scopus - 0 Citações
Outras Informações
ID Authenticus: P-017-GSQ
Abstract (EN): [No abstract available]
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 4
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Da mesma revista

Location automata for synchronised shuffle expressions (2023)
Artigo em Revista Científica Internacional
Broda, S; António Machiavelo; Nelma Moreira; Rogério Reis
Deciding Kleene algebra terms equivalence in Coq (2015)
Artigo em Revista Científica Internacional
Nelma Moreira; David Pereira; Simao Melo de Sousa
Branching pomsets: Design, expressiveness and applications to choreographies (2024)
Artigo em Revista Científica Internacional
Edixhoven, L; Jongmans, SS; Proença, J; Castellani, I
bGSL: An imperative language for specification and refinement of backtracking programs (2023)
Artigo em Revista Científica Internacional
Dunne, S; Ferreira, JF; Mendes, A; Ritchie, C; Stoddart, B; Zeyda, F
A formal treatment of the role of verified compilers in secure computation (2022)
Artigo em Revista Científica Internacional
Almeida, JCB; Barbosa, M; Barthe, G; Pacheco, H; Pereira, V; Portela, B

Ver todas (7)

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-09-23 às 06:50:50 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico