Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility

Word equations are a crucial element in the theoretical foundation of constraint solving over strings. A word equation relates two words over string variables and constants. Its solution amounts to a function mapping variables to constant strings that equate the left and right hand sides of the equa...

Fuld beskrivelse

Bibliografiske detaljer

Principais autores:	Anthony W. Lin, Rupak Majumdar
Format:	Artigo
Sprog:	Inglês
Udgivet:	Logical Methods in Computer Science e.V. 2021-10-01
Serier:	Logical Methods in Computer Science
Fag:	computer science - logic in computer science computer science - formal languages and automata theory
Online adgang:	https://lmcs.episciences.org/6693/pdf
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!