A new tableaux system for KD

A new tableaux system for KD

Bibliographic Details
Main Authors: Romulo Albano de Freitas, Hércules de Araujo Feitosa
Format: Article
Language:Portuguese
Published: Lázaro, C. and Rodrigues, T. 2020-12-01
Series:CQD Revista Eletrônica Paulista de Matemática
Online Access:https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v19a06-a-new-tableaux-system-for-kd.pdf
id doaj-d08306da6e7347e1922894e0866a5192
record_format Article
spelling doaj-d08306da6e7347e1922894e0866a51922021-01-04T19:42:50ZporLázaro, C. and Rodrigues, T.CQD Revista Eletrônica Paulista de Matemática2316-96642020-12-0119839610.21167/cqdvol19202023169664rafhafvv8396A new tableaux system for KDRomulo Albano de FreitasHércules de Araujo Feitosahttps://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v19a06-a-new-tableaux-system-for-kd.pdf
collection DOAJ
language Portuguese
format Article
sources DOAJ
author Romulo Albano de Freitas
Hércules de Araujo Feitosa
spellingShingle Romulo Albano de Freitas
Hércules de Araujo Feitosa
A new tableaux system for KD
CQD Revista Eletrônica Paulista de Matemática
author_facet Romulo Albano de Freitas
Hércules de Araujo Feitosa
author_sort Romulo Albano de Freitas
title A new tableaux system for KD
title_short A new tableaux system for KD
title_full A new tableaux system for KD
title_fullStr A new tableaux system for KD
title_full_unstemmed A new tableaux system for KD
title_sort new tableaux system for kd
publisher Lázaro, C. and Rodrigues, T.
series CQD Revista Eletrônica Paulista de Matemática
issn 2316-9664
publishDate 2020-12-01
url https://www.fc.unesp.br/Home/Departamentos/Matematica/revistacqd2228/v19a06-a-new-tableaux-system-for-kd.pdf
work_keys_str_mv AT romuloalbanodefreitas anewtableauxsystemforkd
AT herculesdearaujofeitosa anewtableauxsystemforkd
AT romuloalbanodefreitas newtableauxsystemforkd
AT herculesdearaujofeitosa newtableauxsystemforkd
_version_ 1724348923939651584

Similar Items