1. Universidade Federal da Bahia
  2. Instituto de Computação (IC)
  3. Programa de Pós-Graduação em Ciência da Computação (PGCOMP)
  4. Relatório Técnico (PGCOMP)
Use este identificador para citar ou linkar para este item: https://repositorio.ufba.br/handle/ri/19109
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.authorLewitzka, Steffen-
dc.creatorLewitzka, Steffen-
dc.date.accessioned2016-05-05T16:13:49Z-
dc.date.available2016-05-05T16:13:49Z-
dc.date.issued2016-05-05-
dc.identifier.urihttp://repositorio.ufba.br/ri/handle/ri/19109-
dc.language.isoenpt_BR
dc.rightsAcesso Abertopt_BR
dc.sourcehttp://arxiv.org/abs/1510.05326pt_BR
dc.subjectLogicspt_BR
dc.titleCombining intermediate propositional logics with classical logicpt_BR
dc.typeOutrospt_BR
dc.identifier.numberhttp://arxiv.org/abs/1510.05326pt_BR
Aparece nas coleções:Relatório Técnico (PGCOMP)

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
1510.05326v1.pdf192,64 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Visualizar estatísticas


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.