BriefGPT.xyz
Ask
alpha
关键词
modal temporal logics
搜索结果 - 1
Krohn-Rhodes 逻辑
本论文提出了一种新的过去式模态时态逻辑家族,通过扩展 Past LTL 变得更加丰富,以 Krohn and Rhodes 关于自动机串联理论为基础,并展示了该家族被称为 Krohn-Rhodes Logics 的无穷多个扩展,可以捕捉到更
→
PDF
a year ago
Prev
Next