A decision procedure for string constraints with string/integer conversion and flat regular constraints

DOI10.1007/s00236-023-00446-4MaRDI QIDQ6150112

No author found.

Publication date: 5 March 2024

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
• The satisfiability of word equations: decidable and undecidable theories
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Subclasses of presburger arithmetic and the weak EXP hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A decision procedure for string constraints with string/integer conversion and flat regular constraints