Editorial: Special issue from the 3rd International Workshop on Dynamic Logic: New Trends and Applications (DaLi 2020)

被引:0
|
作者
Martins, Manuel A.
Sedlar, Igor
机构
关键词
D O I
10.1093/logcom/exad054
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:1119 / 1121
页数:3
相关论文
共 50 条