ดาวน์โหลด Linnk AI
•
ผู้ช่วยวิจัย
>
ลงชื่อเข้าใช้
ข้อมูลเชิงลึก
-
線形時間論理におけるヤブロの逆説
ヤブロの逆説を定理化する
ヤブロの逆説は線形時間論理における固定点を持たない演算子の存在を示す新しい定理となる。
1