Wyszukiwarka projektów

• Słowa kluczowe: semantyka formalna ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 8 projektów spełniających kryteria wyszukiwania:

1. 1. Modularna semantyka operacyjna: podejście bialgebraiczne

   Kierownik: dr hab. Bartosz Klin

   Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

   Konkurs: SONATA BIS 2, panel: ST6

2. 2. Przezwyciężenie paradoksów naiwnej poprawności logicznej i nieformalnej dowodliwości poprzez semantykę niedeterministycz…

   Kierownik: Paweł Pawłowski

   Uniwersytet Gdański, Wydział Nauk Społecznych

   Konkurs: SONATINA 2, panel: HS1

3. 3. Reinterpretując anaforę: w stronę podejścia opartego na wieloznaczności

   Kierownik: Antonina Weronika Jamrozik

   Uniwersytet Warszawski, Wydział Filozofii

   Konkurs: PRELUDIUM 20, panel: HS1

4. 4. Składniowo-semantyczna analiza leksemów o kształcie TO

   Kierownik: Sebastian Jakub Zawada

   Instytut Podstaw Informatyki PAN

   Konkurs: PRELUDIUM 21, panel: HS2

5. 5. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

   Kierownik: prof. Jerzy Marcinkowski

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 23, panel: ST6

6. 6. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 17, panel: ST6

7. 7. Efekty algebraiczne: kompozycja i koindukcja

   Kierownik: dr Maciej Adam Piróg

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: SONATA 14, panel: ST6

8. 8. Metody wnioskowania o programach w językach wyższego rzędu

   Kierownik: prof. Witold Charatonik

   Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

   Konkurs: OPUS 8, panel: ST6