Tytuły referatów na Seminarium Zakładu Logiki Stosowanej

Data Prowadzący Tytuł referatu
20.02.2001 Igor Walukiewicz Logiki dla liczb rzeczywistych
27.02.2001 Paweł Urzyczyn Retrakcje i zanurzenia typów
06.03.2001 Nguyen Anh Linh Modalny język zapytań MDatalog
13.03.2001 Jerzy Tiuryn Intuicjonistyczna logika liniowa a częściowa poprawność
20.03.2001 Robert Maron O wędrownych procesach
27.03.2001 Arkadiusz Kondratowicz Funkcje obliczalne przez różne typy komputerów Petriego
03.04.2001 Sławomir Lasota O złożoności sprawdzania równoważności bisymulacyjnej procesów nieskonczeniestanowych
10.04.2001 Igor Walukiewicz Logiki i automaty na śladach Mazurkiewicza
24.04.2001 Andrzej Tarlecki Enriched signatures and amalgamation for CASL models
08.05.2001 Grzegorz Grudziński Rozstrzygalna rekonstrukcja typów intersekcyjnych skończonej rangi
15.05.2001 Piotr Hoffman Instytucje i specyfikacje architekturalne
22.05.2001 Mikołaj Bojańczyk Logika pierwszego rzedu dla struktur drzewiastych
Poprzednie semestry.

Valid HTML 4.01!