Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems

Detalhes bibliográficos
Autor(a) principal: Luís Cruz-Filipe
Data de Publicação: 2008
Outros Autores: A. Sernadas, C. Sernadas
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14552
id RCAP_cfc98d5f8f3f3ae32723fa90f5ea32d0
oai_identifier_str oai:repositorio.ul.pt:10451/14552
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Heterogeneous Fibring of Deductive Systems via Abstract Proof SystemsComputer ScienceLogic Journal of the IGPLRepositório da Universidade de LisboaLuís Cruz-FilipeA. SernadasC. Sernadas2010-05-21T17:18:14Z20082008-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10451/14552enginfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T16:00:30Zoai:repositorio.ul.pt:10451/14552Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:16.605259Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
title Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
spellingShingle Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
Luís Cruz-Filipe
Computer Science
title_short Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
title_full Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
title_fullStr Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
title_full_unstemmed Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
title_sort Heterogeneous Fibring of Deductive Systems via Abstract Proof Systems
author Luís Cruz-Filipe
author_facet Luís Cruz-Filipe
A. Sernadas
C. Sernadas
author_role author
author2 A. Sernadas
C. Sernadas
author2_role author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Luís Cruz-Filipe
A. Sernadas
C. Sernadas
dc.subject.por.fl_str_mv Computer Science
topic Computer Science
publishDate 2008
dc.date.none.fl_str_mv 2008
2008-01-01T00:00:00Z
2010-05-21T17:18:14Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14552
url http://hdl.handle.net/10451/14552
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Logic Journal of the IGPL
publisher.none.fl_str_mv Logic Journal of the IGPL
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134260948369408

Registros relacionados