A Hybrid Intuitionistic Logic: Semantics and Decidability

AuthID
P-004-NGB
3
Author(s)
Sassone, V
Tipo de Documento
Article
Year published
2006
Publicado
in JOURNAL OF LOGIC AND COMPUTATION, ISSN: 0955-792X
Volume: 16, Número: 1, Páginas: 27-59 (33)
Conference
Lics/Icalp Conference 2004, Date: JUL, 2004, Location: Turku, FINLAND, Patrocinadores: LICS, ICALP
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-33645752187
Wos: WOS:000235605800003
Source Identifiers
ISSN: 0955-792X
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.