HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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