Please use this identifier to cite or link to this item:
http://hdl.handle.net/10773/30686Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Martins, Manuel A. | pt_PT |
| dc.contributor.author | Sedlár, Igor | pt_PT |
| dc.date.accessioned | 2021-02-24T10:29:48Z | - |
| dc.date.available | 2021-02-24T10:29:48Z | - |
| dc.date.issued | 2020-12-01 | - |
| dc.identifier.isbn | 978-3-030-65839-7 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10773/30686 | - |
| dc.description.abstract | This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science. | pt_PT |
| dc.language.iso | eng | pt_PT |
| dc.publisher | Springer | pt_PT |
| dc.rights | restrictedAccess | pt_PT |
| dc.title | Dynamic logic: new trends and applications | pt_PT |
| dc.type | book | pt_PT |
| dc.description.version | published | pt_PT |
| degois.publication.volume | 12569 | - |
| dc.identifier.doi | 10.1007/978-3-030-65840-3 | pt_PT |
| dc.identifier.esbn | 978-3-030-65840-3 | pt_PT |
| Appears in Collections: | CIDMA - Livro AGG - Livro | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2020_Bookmatter_DynamicLogicNewTrendsAndApplic.pdf | 124.32 kB | Adobe PDF |  |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.