HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2023 easychair.org. All rights reserved.