本研究では、制約付き多項式論理ゾノトープを提案しています。これは、論理ゾノトープと多項式論理ゾノトープの限界を克服するものです。
主な内容は以下の通りです:
制約付き多項式論理ゾノトープは、論理システムの到達可能性分析を正確かつ効率的に実行できます。また、集合の正確な交差計算が可能であり、これまでの論理ゾノトープや多項式論理ゾノトープの限界を克服しています。
เป็นภาษาอื่น
จากเนื้อหาต้นฉบับ
arxiv.org
ข้อมูลเชิงลึกที่สำคัญจาก
by Ahmad Hafez,... ที่ arxiv.org 03-28-2024
https://arxiv.org/pdf/2403.18564.pdfสอบถามเพิ่มเติม