Decidability of Querying First-Order Theories via Countermodels of Finite Width

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
Seiten (von - bis)7:1-7:35
FachzeitschriftLogical methods in computer science
Jahrgang21
Ausgabenummer2
PublikationsstatusVeröffentlicht - 1 Apr. 2025
Peer-Review-StatusJa

Externe IDs

Scopus 105005415772
ORCID /0000-0003-3214-0828/work/199216617

Schlagworte