root.skip-to-content
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Comunidades & Coleções
Percorrer repositório
Entidades
Estatísticas
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Página inicial
Faculdade de Ciências (FC)
Departamento de Informática / Department of Informatics (FC-DI)
Lasige - Large-Scale Informatics Systems Laboratory (FC-DI-Lasige)
FC-DI-Lasige - Articles in International Journals
Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
Miniatura indisponível
Publicação
Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
2008
Artigo científico
Apenas metadados
http://hdl.handle.net/10451/14552
Utilize este identificador para referenciar este registo.
Contacte-nos
Autores
Luís Cruz-Filipe
A. Sernadas
C. Sernadas
Orientador(es)
Resumo(s)
Descrição
Palavras-chave
Computer Science
URI
http://hdl.handle.net/10451/14552
http://repositorio.ul.pt/handle/10455/6161
Contexto Educativo
Citação
Projetos de investigação
Unidades organizacionais
Fascículo
Editora
Logic Journal of the IGPL
Coleções
FC-DI-Lasige - Articles in International Journals
Licença CC
Ver registo completo
