Nie jesteś zalogowany |
Powrót do listy grantów
Modularna semantyka operacyjna: podejście bialgebraiczne
- Kierownik
- prof. dr hab. Bartosz Klin
- Numer umowy
- 2012/07/E/ST6/03026
- Data rozpoczęcia
- 11 lipca 2013
- Data zakończenia
- 10 lipca 2017
- Finansowany przez
- Narodowe Centrum Nauki
- Słowa kluczowe
- semantyka operacyjna, algebra, koalgebra
