Télécharger Linnk AI
•
Assistant de recherche
>
Connexion
Idée
-
線形時間論理におけるヤブロの逆説
ヤブロの逆説を定理化する
ヤブロの逆説は線形時間論理における固定点を持たない演算子の存在を示す新しい定理となる。
1