BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

Título
On Herbrand's Theorem for Hybrid Logic

Participantes na publicação
D. Costa (Author)
LASIGE
J. Marcos (Author)
M. A. Martins (Author)

Editor
Ofer Arieli and Anna Zamansky

Data de Publicação
2019-03-01

Suporte
Journal of Applied Logics

Identificadores da Publicação
ISBN - 9781848903012

Editora
College Publications

Volume
6
Fascículo
2


Exportar referência

APA
D. Costa, J. Marcos, M. A. Martins, (2019). On Herbrand's Theorem for Hybrid Logic. Journal of Applied Logics, 6,

IEEE
D. Costa, J. Marcos, M. A. Martins, "On Herbrand's Theorem for Hybrid Logic" in Journal of Applied Logics, vol. 6, 2019.

BIBTEX
@article{52284, author = {D. Costa and J. Marcos and M. A. Martins}, title = {On Herbrand's Theorem for Hybrid Logic}, journal = {Journal of Applied Logics}, year = 2019, volume = 6 }