Dynamic logic : new trends and applications third international workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020 : revised selected papers /
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 fro...
| Corporate Authors: | DaLí (International Workshop) Online) |
|---|---|
| Other Authors: | DaLí (International Workshop), Martins, Manuel A.,, Sedlár, Igor,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2020]
|
| Physical Description: |
1 online resource (x, 295 pages) : illustrations. |
| Series: |
Lecture notes in computer science ;
12569. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |