Euskara
|
Español
|
English
Identifícate
Grupos
Investigadoras/es
Resultados
Systematic Semantic Tableaux for PLTL
Gaintzarain, J.
Hermo, M.
Lucio, P.
Navarro, M.
Revista
:
Electronic Notes in Theoretical Computer Science
ISSN
:
1571-0661
Año de publicación
:
2008
Volumen
:
206
Número
:
C
Páginas
:
59-73
Tipo
:
Artículo
Exportar
Exportar
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exportar
×
El documento no se puede exportar porque pertenece a otro portal.
Texto completo
lock_open
Texto completo
externo
DOI:
10.1016/J.ENTCS.2008.03.075
GOOGLE SCHOLAR
lock_open
Acceso abierto
editor
Fuente de los datos: Scopus
Accesibilidad
|
Información legal
|
Contacto
|
Mapa
|
Ayuda
UPV/EHU