Euskara
|
Español
|
English
Sign in
Groups
Researchers
Results
Systematic Semantic Tableaux for PLTL
Gaintzarain, J.
Hermo, M.
Lucio, P.
Navarro, M.
Journal
:
Electronic Notes in Theoretical Computer Science
ISSN
:
1571-0661
Year of publication
:
2008
Volume
:
206
Issue
:
C
Pages
:
59-73
Type
:
Article
Export
Export
×
MLA
modern-language-association
APA
apa
Chicago
chicago-fullnote-bibliography
Harvard
harvard-cite-them-right
Vancouver
vancouver-author-date
RIS
BibTex
Export
×
This document cannot be exported because it belongs to another portal.
Full text
lock_open
Full text
externo
DOI:
10.1016/J.ENTCS.2008.03.075
GOOGLE SCHOLAR
lock_open
Open access
editor
Data source: Scopus
Accessibility
|
Legal information
|
Contact
|
Sitemap
|
Help
UPV/EHU