Saltar para:
Logótipo
Você está em: Início > Publicações > Visualização > Introduction to the 28th international conference on logic programming special issue
Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

Introduction to the 28th international conference on logic programming special issue

Título
Introduction to the 28th international conference on logic programming special issue
Tipo
Outra Publicação em Revista Científica Internacional
Ano
2012
Autores
AGOSTINO DOVIER
(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
VÃTOR SANTOS COSTA
(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
Revista
Vol. 12
Páginas: 421-426
ISSN: 1471-0684
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-002-875
Idioma: Inglês
Tipo (Avaliação Docente): Científica
Nº de páginas: 6
Documentos
Não foi encontrado nenhum documento associado à publicação.
Publicações Relacionadas

Dos mesmos autores

ICLP (Technical Communications) (2012)
Outras Publicações
Agostino Dovier; Vítor Santos Costa

Da mesma revista

Introduction to the 33rd international conference on logic programming special issue (2017)
Outra Publicação em Revista Científica Internacional
Ricardo Rocha; Son, TC
Towards multi-threaded local tabling using a common table space (2012)
Artigo em Revista Científica Internacional
Miguel Areias; Ricardo Rocha
Threads and or-parallelism unified (2010)
Artigo em Revista Científica Internacional
Ines Dutra; Ricardo Rocha
The YAP Prolog system (2012)
Artigo em Revista Científica Internacional
Vitor Santos Costa; Ricardo Rocha; Luis Damas
Tabling, Rational Terms, and Coinduction Finally Together! (2014)
Artigo em Revista Científica Internacional
Theofrastos Mantadelis; Ricardo Rocha; Paulo Moura

Ver todas (20)

Recomendar Página Voltar ao Topo
Copyright 1996-2024 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2016-03-23 I  Página gerada em: 2024-11-02 às 01:36:21 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais | Denúncias