HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:strings

Papers
Mathematical Inequalities over Hypercomplex Structures and Infinities with Related Paradoxes
Deep Bhattacharjee, Sanjeevan Singha Roy, Riddhima Sadhu and Saptashaw Das
EasyChair Preprint no. 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-2023 easychair.org. All rights reserved.