Scarica Linnk AI
•
Assistente di Ricerca
>
Accedi
approfondimento
-
線形時間論理におけるヤブロの逆説
ヤブロの逆説を定理化する
ヤブロの逆説は線形時間論理における固定点を持たない演算子の存在を示す新しい定理となる。
1