Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
Existential Second-Order Logic Over Strings
Publication
Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.