Regular combinators for string transformations
Published in Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) • Jul 14, 2014
NobleIDNI4P19W78R82S52
Authors:,,
Rajeev Alur
Adam Freilich
Mukund Raghothaman
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!