[logic-ml] intuitionistic temporal logic for dynamical systems
logic
logic at math.tsukuba.ac.jp
Sun Oct 16 02:15:40 JST 2022
次の論文をreviewしましたので、
御案内しておきます。
https://zbmath.org/pdf/07576895.pdf
にしむら
https://www.researchgate.net/profile/Hirokazu-Nishimura
https://www.youtube.com/watch?v=0t5ohgJJ_KU
More information about the Logic-ml
mailing list