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

Research output: Contribution to journal › Research article › Contributed › peer-review

Contributors

Details

Original languageEnglish
Pages (from-to)7:1-7:35
JournalLogical methods in computer science
Volume21
Issue number2
Publication statusPublished - 1 Apr 2025
Peer-reviewedYes

External IDs

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

Keywords