| |
|
2010
-
Dominika Majsterek,
Rachunek strumieni
supervisor: Marek Zaionc
2009
-
Grzegorz Głogowski,
Positioning techniques for web pages
supervisor: Tomasz Gorazd
-
Maciej Łoziczonek,
Robust Detection of Coronary Arteries, [pdf]
supervisor: Marek Zaionc
-
Szymon Wójcik,
Algebraiczne dowody własności Churcha-Rossera
supervisor: Marek Zaionc
2008
-
Mateusz Kostanek,
A sound and complete semantics for commutative linear logic based on Girard quantales
supervisor: Paweł Waszkiewicz
2007
-
Katarzyna Grygiel,
Zliczanie termów w nietypowanym rachunku lambda
supervisor: Marek Zaionc
-
Michal Palka,
Functional Graphical User Interfaces - An Implementation Based on GTK.
supervisor: Marek Zaionc
-
Dawid Totoń,
Wyrażanie rozwiązań równań w wolnych monoidach za pomocą wyrażeń regularnych
supervisor: Zaionc
2006
-
Marek Kwiatkowski,
Ordinal Arithmetic through Term Rewriting
supervisor: Marek Zaionc together with Jan Willem Klop, Roel de Vrier from Free University in Amsterdam
-
Lech Palmowski,
Continuity in generalized metric spaces
(Ciągłość w uogólnionych przestrzeniach metrycznych)
supervisor: Paweł Waszkiewicz
-
Mikołaj Pudo,
Problem $k-SAT$ i hipoteza progu spełnialności
supervisor: Marek Zaionc
2005
-
Jarosław Karpiak,
Fragment hierarchii Statmana w typowanym rachunku lambda
supervisor: Marek Zaionc
2002
-
Jakub Kozik,
Asymptotic density of regular languages
supervisor: Marek Zaionc
-
Grzegorz Matecki,
Asymptotic density of formulas formed from binary logical connectives
supervisor: Marek Zaionc
2000
-
Piotr Dziedzic,
Fixed point technique for counting terms in typed lambda calculus
supervisor: Marek Zaionc
-
Grzegorz Soza,
Asymptotic Density as a Method of Expressing Quantitative Relations in Intuitionistic Logic
supervisor: Marek Zaionc
1996
-
Jan Małolepszy,
Reconstruction of Extended Polynomials from the finite number of Examples
supervisor: Marek Zaionc
1992
-
Malgorzata Sobejko ,
Algorytm konstrukcji dowodu dla implikacyjnego fragmentu logiki intuicjonistycznej
supervisor: Marek Zaionc
1991
-
Małgorzata Mądry,
Llambda-Representability of integer, word and tree functions"
supervisor: Marek Zaionc |
|
