Projects search

• Keywords: semantyka formalna ×

Change search criteria ↓

Search results

8 projects found matching your search criteria:

1. 1. Modular operational semantics: a bialgebraic approach

   Principal investigator: dr hab. Bartosz Klin

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Call: SONATA BIS 2, Panel: ST6

2. 2. Solving the paradoxes of naive validity and informal provability through non-deterministic and truth-maker semantics

   Principal investigator: Paweł Pawłowski

   Uniwersytet Gdański, Wydział Nauk Społecznych

   Call: SONATINA 2, Panel: HS1

3. 3. Reinterpreting anaphora: towards ambiguity-first approach

   Principal investigator: Antonina Weronika Jamrozik

   Uniwersytet Warszawski, Wydział Filozofii

   Call: PRELUDIUM 20, Panel: HS1

4. 4. Syntactic-semantic analysis of the lexemes TO

   Principal investigator: Sebastian Jakub Zawada

   Instytut Podstaw Informatyki PAN

   Call: PRELUDIUM 21, Panel: HS2

5. 5. First Order Logic and Beyond. Some Puzzles in Database Theory.

   Principal investigator: prof. Jerzy Marcinkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 23, Panel: ST6

6. 6. 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

7. 7. Algebraic effects: composition and coinduction

   Principal investigator: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: SONATA 14, Panel: ST6

8. 8. Reasoning about programs in higher-order languages

   Principal investigator: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Call: OPUS 8, Panel: ST6