Change search criteria ↓

Search results

7 projects found matching your search criteria:

  1. 1. Epistemological aspects of the application of content implication as instrument of formalization of the expressions of n…

    Principal investigator: dr hab. Piotr Łukowski

    Uniwersytet Łódzki, Wydział Nauk o Wychowaniu

    Call: OPUS 9, Panel: HS1

  2. 2. Efficient algorithms and representations in formal languages and automata theory.

    Principal investigator: dr Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 1, Panel: ST6

  3. 3. Does the language of economics limit its explanatory power? Analyzing the impact of unrealistic assumptions, mathematica…

    Principal investigator: dr Łukasz Hardt

    Uniwersytet Warszawski, Wydział Nauk Ekonomicznych

    Call: SONATA 1, Panel: HS4

  4. 4. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 17, Panel: ST6

  5. 5. Colloquial reproducts of Polish language. Formal, semantic and pragmatic analysis of a weekly column published in "Przek…

    Principal investigator: dr Ewa Barbara Kozioł-Chrzanowska

    Uniwersytet Warszawski, Wydział Polonistyki

    Call: PRELUDIUM 3, Panel: HS2

  6. 6. Compression, logic, formal langauges: new approaches unifying different areas.

    Principal investigator: dr hab. Artur Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 8, Panel: ST6

  7. 7. From a multilingual parallel corpus to the micro-typology of the PERFECT in Baltic and Slavic

    Principal investigator: dr Dorota Emilia Klimek-Jankowska

    Uniwersytet Wrocławski, Wydział Neofilologii

    Call: SONATA BIS 11, Panel: HS2

Graphic design and implementation: Jakub Piotrowski