Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > On long normal inhabitants of a type

Publicações

On long normal inhabitants of a type

Título
On long normal inhabitants of a type
Tipo
Artigo em Revista Científica Internacional
Ano
2005
Autores
Broda, S
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Damas, L
(Autor)
FCUP
Ver página pessoal Sem permissões para visualizar e-mail institucional Pesquisar Publicações do Participante Ver página do Authenticus Sem ORCID
Revista
Vol. 15
Páginas: 353-390
ISSN: 0955-792X
Classificação Científica
FOS: Ciências exactas e naturais > Ciências da computação e da informação
Outras Informações
ID Authenticus: P-000-33X
Abstract (EN): In this paper we give a complete, formal definition of the formula-tree proof method, prove its correctness and illustrate its adequateness for research in the area of inhabitation of simple types.
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Contacto: sbb@ncc.up.pt; luis@ncc.up.pt
Nº de páginas: 38
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

The decidability of a fragment of BB ' IW-logic (2004)
Artigo em Revista Científica Internacional
Broda, S; Damas, L; Finger, M; Silva, PSE
On principal types of combinators (2000)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
On combinatory complete sets of proper combinators (1997)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
Counting a type's principal inhabitants - (Extended abstract) (1999)
Artigo em Revista Científica Internacional
Broda, S; Damas, L
Counting a type's (principal) inhabitants (2001)
Artigo em Revista Científica Internacional
Broda, S; Damas, L

Ver todas (11)

Das mesmas áreas científicas

YWeb – Plataforma de Criação de Templates para Marketing Online (2017)
Tese
José Carlos Calhau Pinto
Visual Viper: a portable visualization library for streamlined scientific communications. (2023)
Tese
Mariana Beatriz Nunes Canelas Pais
Utility-based Predictive Analytics (2018)
Tese
Paula Alexandra de Oliveira Branco
Using clickstream data to analyze online purchase intentions (2015)
Tese
Ricardo Filipe Fernandes e Costa Magalhães Teixeira
Users Satisfaction Regarding Nursing Information and Documentation In Electronic Health Records: A Study At The Health Centers Group Tâmega II – Vale Do Sousa Sul (2023)
Tese
Carla Manuela Pinto Lourenço

Ver todas (1859)

Da mesma revista

Monotonicity Constraints in Characterizations of PSPACE (2012)
Artigo em Revista Científica Internacional
Ben Amram, AM; Loff, B; Oitavem, I
Linearity in Computation (2014)
Artigo em Revista Científica Internacional
Florido, M; Mackie, I
Linearity: A Roadmap (2014)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
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-24 às 10:51:07 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias