6 projects found matching your search criteria :
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Efficient algorithms and representations in formal languages and automata theory.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 3 , Panel: HS2
Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska
Uniwersytet Warszawski, Wydział Polonistyki
From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic
Call: SONATA BIS 11 , Panel: HS2
Principal investigator: dr Dorota Emilia Klimek-Jankowska
Uniwersytet Wrocławski, Wydział Neofilologii
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 9 , Panel: HS1
Principal investigator: dr hab. Piotr Łukowski
Uniwersytet Łódzki, Wydział Nauk o Wychowaniu