| |
|
Katarzyna Grygielmaster of science
| fax: | (+48-12) 664 66 72 | | email: |  | | office: | ul. Łojasiewicza 6, 30-348 Kraków
| | room: | 150 | | office hours: | Tuesday 10:00 - 11:00 | | |
| personal homepage |
| |
|
|
| selected publications |
K. Grygiel, P.M. Idziak, M. Zaionc
How big is BCI fragment of BCK logic?
accepted to Journal of Logic and Computation | G. Czédli, J. Grygiel, K. Grygiel
Distributive lattices determined by weighted double skeletons
submitted | R. David, K. Grygiel, J. Kozik, Ch. Raffalli, G. Theyssier, M. Zaionc
Asymptotically almost all lambda terms are strongly normalizing
submitted |
| grants |
| 2009 - 2012 |
Quantitative study in logics and computation theory |
| |
Ministry of Science and Higher Education |
| |
N206 3761 37 |
| 2011 - 2012 |
Quantitative logic |
| |
Ministry of Science and Higher Education, |
| |
8434/2011 |
| short cv |
| 2007 | MSc (Mathematics) | Jagiellonian University | Krakow, Poland | | 2007- | PhD student | Jagiellonian University | Krakow, Poland |
|
