Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility

DOI10.1007/978-3-030-01090-4_21zbMath1517.68320arXiv1805.06701OpenAlexW2962726827MaRDI QIDQ6109598

Anthony Widjaja Lin, Rupak Majumdar

Publication date: 28 July 2023

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1805.06701

Mathematics Subject Classification ID

Combinatorics on words (68R15) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30)

Related Items (5)

An SMT solver for regular expressions and linear arithmetic over string length ⋮ Equations over the \(k\)-binomial monoids ⋮ Towards more efficient methods for solving regular-expression heavy string constraints ⋮ On equations and first-order theory of one-relator monoids ⋮ Monadic decomposition in integer linear arithmetic

This page was built for publication: Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility