Linnk AI letöltése
•
Kutatási asszisztens
>
Bejelentkezés
betekintés
-
線形時間論理におけるヤブロの逆説
ヤブロの逆説を定理化する
ヤブロの逆説は線形時間論理における固定点を持たない演算子の存在を示す新しい定理となる。
1