A decision procedure for string constraints with string/integer conversion and flat regular constraints
From MaRDI portal
Publication:6150112
Cites work
- scientific article; zbMATH DE number 4031630 (Why is no real title available?)
- scientific article; zbMATH DE number 3478862 (Why is no real title available?)
- scientific article; zbMATH DE number 3577484 (Why is no real title available?)
- scientific article; zbMATH DE number 3408928 (Why is no real title available?)
- Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5--7, 2013. Proceedings
- LOGICAL THEORIES OF ONE-PLACE FUNCTIONS ON THE SET OF NATURAL NUMBERS
- Subclasses of Presburger arithmetic and the weak EXP hierarchy
- The satisfiability of word equations: decidable and undecidable theories
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)
