Keyword:strings

Publications
Mathematical Inequalities over Hypercomplex Structures and Infinities with Related Paradoxes Deep Bhattacharjee, Sanjeevan Singha Roy, Riddhima Sadhu and Saptashaw Das EasyChair Preprint 8377
SMT-LIB Sequences and Regular Expressions Nikolaj Bjorner, Vijay Ganesh, Raphaël Michel and Margus Veanes In:SMT 2012. 10th International Workshop on Satisfiability Modulo Theories