ลงชื่อเข้าใช้
ข้อมูลเชิงลึก - Logik der Präfixe und Teilintervalle
Die Hinzufügung der zeitlichen Nachbarschaft macht die Logik der Präfixe und Teilintervalle EXPSPACE-vollständig
Die Hinzufügung der Nachbarschaftsmodalität A zur Logik BD der Präfixe und Teilintervalle erhöht sowohl die Ausdruckskraft als auch die Komplexität der Logik. Insbesondere wird gezeigt, dass die resultierende Logik BDAhom EXPSPACE-vollständig ist.
Die Hinzufügung der zeitlichen Nachbarschaft macht die Logik der Präfixe und Teilintervalle EXPSPACE-vollständig
Die Hinzufügung der Nachbarschaftsmodalität A zur Logik BD der Präfixe und Teilintervalle erhöht sowohl die Ausdruckskraft als auch die Komplexität der Logik. Insbesondere zeigen wir, dass die resultierende Logik BDAhom EXPSPACE-vollständig ist.
เกี่ยวกับ
ผลิตภัณฑ์ | แหล่งข้อมูล
© 2024 by Linnk AI