Keyword:regular expressions

Papers
A Review Paper on Generating Regular Language Using Regular Expression Ruchita Chaudhari, Aditya Bhosale, Ashish Biradar, Kshitij Bisen and Chetan Chaudhari EasyChair Preprint no. 7671
A Resolution Calculus for Second-order Logic with Eager Unification Alexander Leitsch and Tomer Libal In:PAAR-2012. Third Workshop on Practical Aspects of Automated Reasoning
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