Deciding Extensions of the Theories of Vectors and Bags
No abstract available.
DOI 10.1007/978-3-540-93900-9_21
Related papers
- Occurrence typing modulo theories PLDI 2016
- Deciding Local Theory Extensions via E-matching CAV 2015
- Monadic second-order logic on finite sequences POPL 2017
- Structural Decidable Extensions of Bounded Quantification POPL 1995
- Vector addition system reachability problem: a short self-contained proof POPL 2011
- Deciding Fixed and Non-fixed Size Bit-vectors TACAS 1998
- Deciding Bit-Vector Arithmetic with Abstraction TACAS 2007
- The Decision Problem for Regular First Order Theories POPL 2025