Euskara
|
Español
|
English
Identifiez-vous
Groupes
Chercheurs
Résultats
Systematic Semantic Tableaux for PLTL
Gaintzarain, J.
Hermo, M.
Lucio, P.
Navarro, M.
Revue
:
Electronic Notes in Theoretical Computer Science
ISSN
:
1571-0661
Année de publication
:
2008
Volumen
:
206
Número
:
C
Pages
:
59-73
Type
:
Article
Exporter
Exporter
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exporter
×
Le document ne peut pas être exporté car il appartient à un autre portail.
Texte intégral
lock_open
Texte intégral
externo
DOI:
10.1016/J.ENTCS.2008.03.075
GOOGLE SCHOLAR
lock_open
Accès ouvert
editor
La source de données: Scopus
Accesibilidad
|
Información legal
|
Contacto
|
Mapa
|
Ayuda
UPV/EHU