Keyword:regular expressions

Publications
Physics Assessment Generation Through Pattern Matching and Large Language Models Marchotridyo and Fariska Zakhralativa Ruskanda EasyChair Preprint 14739
A Review Paper on Generating Regular Language Using Regular Expression Ruchita Chaudhari, Aditya Bhosale, Ashish Biradar, Kshitij Bisen and Chetan Chaudhari EasyChair Preprint 7671
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
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