Projects

National projects:

  • Representations of logical structures and formal languages and their application in computing, Ministry of Education and Science, Project OI 174026, 2011-2018.

International projects: