Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "decidability"

Now showing items 1-1 of 1

    • What is Decidable about Strings? 

      Ganesh, Vijay; Minnes, Mia; Solar-Lezama, Armando; Rinard, Martin (2011-02-01)
      We prove several decidability and undecidability results for the satisfiability/validity problem of formulas over a language of finite-length strings and integers (interpreted as lengths of strings). The atomic formulas ...