Saltar para:
Logótipo
Comuta visibilidade da coluna esquerda
Você está em: Início > Publicações > Visualização > Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012

Publicações

Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012

Título
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012
Tipo
Livro de Atas de Conferência Internacional
Ano
2012
Autores
Sandra Alves
(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
Ian Mackie
(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
Indexação
Publicação em ISI Web of Knowledge ISI Web of Knowledge
Outras Informações
ID Authenticus: P-009-4ZJ
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Coleção: EPTCS
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

Linear Recursion (2010)
Outras Publicações
Sandra Alves; Maribel Fernández; Mário Florido; Ian Mackie
The power of linear functions (2006)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mirio Florido; Ian Mackie
Proceedings 2nd International Workshop on Linearity (2012)
Artigo em Revista Científica Internacional
Sandra Alves; Ian Mackie
Linearity: A Roadmap (2014)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie
Godel's system T revisited (2010)
Artigo em Revista Científica Internacional
Sandra Alves; Maribel Fernandez; Mario Florido; Ian Mackie

Ver todas (9)

Da mesma editora

Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015 (2015)
Livro de Atas de Conferência Internacional
Proença, J; Tivoli, M
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014 (2015)
Livro de Atas de Conferência Internacional
Cámara, J; Proença, J
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014 (2015)
Livro de Atas de Conferência Internacional
Sandra Alves; Iliano Cervesato
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-10-02 às 22:43:40 | Política de Privacidade | Política de Proteção de Dados Pessoais | Denúncias | Livro Amarelo Eletrónico