Toggle navigation
Publications
Researchers
Institutions
0
Sign In
Federated Authentication
(Click on the image)
Local Sign In
Password Recovery
Register
Sign In
Publications
Search
Statistics
Hierarchical Hybrid Logic
AuthID
P-00P-TWE
4
Author(s)
Madeira, A
·
Neves, R
·
Martins, MA
·
Barbosa, LS
Document Type
Article
Year published
2018
Published in
Electronic Notes in Theoretical Computer Science
Volume 338, Pages 167-184 (18)
Indexing
Wos
®
Scopus
®
Dblp
®
/en/publications/view/748430
Crossref
®
1
Google Scholar
®
Metadata
Export
Sources
Publication Identifiers
DOI
:
10.1016/j.entcs.2018.10.011
DBLP
: journals/entcs/MadeiraNMB18
SCOPUS
: 2-s2.0-85055643998
Wos
: WOS:000448882000011
Source Identifiers
ISSN
: 1571-0661
Export Publication Metadata
Export
BibTex
EndNote
CSV
RIS
ISI
APA
Marked List
Add to Marked List
Info
At this moment we don't have any links to full text documens.
© 2019 CRACS & Inesc TEC - All Rights Reserved
Privacy Policy
|
Terms of Service