Polish National Science Centre (NCN) grant 2014/15/B/ST6/00615
Compression, logic, formal languages: new approaches unifying different areas

Project focus

The main goal of the project is to apply recently developed technique of recompression to various fields of computer science. The technique itself is based on applying compression to implicit representation of strings and trees (like: grammars, solutions of equations etc.) and modifying those representations so that such compressions can be indeed applied. We would like to investigate topics related to context unification, word equations, grammars, etc. For more information, see abstract of the project or its full description or contact project principal investigator, Artur Je┼╝.