Kirjaudu sisään
näkemys - Logik und Komplexität
Effiziente Verarbeitung und Analyse von Inhalten mit der zweivariablen bewachten Fragmentlogik und ausdrucksstarken lokalen Presburger-Beschränkungen
Die Arbeit zeigt, dass das Erfüllbarkeitsproblem für die Erweiterung der zweivariablen bewachten Fragmentlogik mit lokalen Presburger-Quantifizierern EXP-vollständig ist. Dies wird durch einen neuartigen, aber einfachen deterministischen graphenbasierten Algorithmus bewiesen.
Entscheidbarkeit der Erfüllbarkeit von zweivariabliger Logik mit letztendlich periodischer Zählung
Die Arbeit zeigt, dass sowohl die Erfüllbarkeit als auch die endliche Erfüllbarkeit der zweivariabligen Logik mit letztendlich periodischer Zählung (FO2 Pres) entscheidbar sind.
Tuotteet | Materiaalit
© 2024 by Linnk AI