BOOK-CHAPTER
Decidable and Undecidable Fragments of First-Order Concatenation Theory
Lars KristiansenJuvenal Murwanashyaka
Year: 2018 Lecture notes in computer science Pages: 244-253 Publisher: Springer Science+Business Media
Keywords:
Undecidable problem Decidability Concatenation (mathematics) Computer science Order (exchange) Discrete mathematics Algorithm Combinatorics Mathematics
Metrics
3
Cited By
0.58
FWCI (Field Weighted Citation Impact)
16
Refs
0.66
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Related Documents
JOURNAL ARTICLE
Decidable and undecidable fragments of first-order branching temporal logics
Ian HodkinsonFrank WolterMichael Zakharyaschev
Year: 2003 Pages: 393-402
BOOK-CHAPTER
Craig Interpolation for Decidable First-Order Fragments
Lecture notes in computer science Year: 2024 Pages: 137-159
JOURNAL ARTICLE
Decidable fragments of first-order temporal logics
Ian HodkinsonFrank WolterMichael Zakharyaschev
Journal: Annals of Pure and Applied Logic Year: 2000 Vol: 106 (1-3)Pages: 85-134
JOURNAL ARTICLE
Craig Interpolation for Decidable First-Order Fragments
Journal: Logical Methods in Computer Science Year: 2025 Vol: Volume 21, Issue 3
JOURNAL ARTICLE
Decidable fragments of first-order modal logics
Frank WolterMichael Zakharyaschev
Journal: Journal of Symbolic Logic Year: 2001 Vol: 66 (3)Pages: 1415-1438