Neerja Mhaskar and I have a paper presented at PSC 2015

We (Neerja Mhaskar and Michael Soltys) had our paper presented at the Prague Stringology Conference; the paper introduces a new formal framework for Stringology, which consists of a three-sorted logical theory S designed to capture the combinatorial reasoning about finite words:

And these are the slides:

Leave a Reply

Your email address will not be published. Required fields are marked *