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

DOI10.1007/S00236-023-00446-4MaRDI QIDQ6150112FDOQ6150112

Authors:

Publication date: 5 March 2024

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
• Title not available (Why is that?)
• Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)
• The satisfiability of word equations: decidable and undecidable theories
• Subclasses of Presburger arithmetic and the weak EXP hierarchy

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6150112)