Dynamic Logic. New Trends and Applications 4th International Work

Dynamic Logic. New Trends and Applications: 4th International Workshop, DaL? 202

Dynamic Logic. New Trends and Applications - 9783031266218

Areces - Dynamic Logic. New Trends and Applications 4th Internationa - X555z

Martins - Dynamic Logic. New Trends and Applications Third Internati - X555z

Dynamic Logic. New Trends and Applications Second International W

Olenev - Advances in Optimization and Applications 14th Internationa - X555z

Logic-Based Program Synthesis and Transformation 9th Internationa