Browsing by Author Sedlár, Igor
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
1-Dec-2020 | Dynamic logic: new trends and applications | Martins, Manuel A.; Sedlár, Igor | book | |
Sep-2023 | Editorial: special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLí 2020) | Martins, Manuel A.; Sedlár, Igor | article |