MetadatenAuthor details: | Fernando OrejasORCiD, Elvira Pino, Marisa NavarroORCiD, Leen LambersORCiDGND |
---|
DOI: | https://doi.org/10.1016/j.tcs.2018.02.031 |
---|
ISSN: | 0304-3975 |
---|
ISSN: | 1879-2294 |
---|
Title of parent work (English): | Theoretical computer science |
---|
Publisher: | Elsevier |
---|
Place of publishing: | Amsterdam |
---|
Publication type: | Article |
---|
Language: | English |
---|
Date of first publication: | 2018/03/05 |
---|
Publication year: | 2018 |
---|
Release date: | 2021/10/04 |
---|
Tag: | Graph logics; Institutions; Navigational logics |
---|
Volume: | 741 |
---|
Number of pages: | 6 |
---|
First page: | 19 |
---|
Last Page: | 24 |
---|
Funding institution: | Spanish Ministry for Economy and Competitiveness (MINECO) [TIN2013-46181-C2-1-R, TIN2013-46181-C2-2-R]; European Union (FEDER funds)European Union (EU) [TIN2013-46181-C2-1-R, TIN2013-46181-C2-2-R]; Basque Project [GIU15/30, UFI11/45] |
---|
Organizational units: | Digital Engineering Fakultät / Hasso-Plattner-Institut für Digital Engineering GmbH |
---|
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
---|
Peer review: | Referiert |
---|
Publishing method: | Open Access / Green Open-Access |
---|