Euskara
|
Español
|
English
Anmeldung
Gruppen
Forscher/innen
Ergebnisse
Systematic Semantic Tableaux for PLTL
Gaintzarain, J.
Hermo, M.
Lucio, P.
Navarro, M.
Zeitschrift
:
Electronic Notes in Theoretical Computer Science
ISSN
:
1571-0661
Datum der Publikation
:
2008
Ausgabe
:
206
Nummer
:
C
Seiten
:
59-73
Art
:
Artikel
Exportieren
Exportieren
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Exportieren
×
Das Dokument kann nicht exportiert werden, da es zu einem anderen Portal gehört.
Volltext
lock_open
Volltext
externo
DOI:
10.1016/J.ENTCS.2008.03.075
GOOGLE SCHOLAR
lock_open
Open Access
editor
Datenquelle: Scopus
Accesibilidad
|
Información legal
|
Contacto
|
Mapa
|
Ayuda
UPV/EHU