Przeglądaj przez Autor Bancerek, Grzegorz
Pokazuję rezultaty 7 do 15 z 15
< Porzedni
Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
---|---|---|---|---|
2016 | On Multiset Ordering | Bancerek, Grzegorz | - | - |
2012 | Program Algebra over an Algebra | Bancerek, Grzegorz | - | - |
2011 | Representation Theorem for Stacks | Bancerek, Grzegorz | - | - |
2012 | Semantics of MML Query | Bancerek, Grzegorz | - | - |
2013 | Semantics of MML Query - Ordering | Bancerek, Grzegorz | - | - |
2011 | Sorting by Exchanging | Bancerek, Grzegorz | - | - |
2014 | Term Context | Bancerek, Grzegorz | - | - |
2012 | Valuation Theory. Part I | Bancerek, Grzegorz; Kobayashi, Hidetsune; Korniłowicz, Artur | - | - |
2011 | Veblen Hierarchy | Bancerek, Grzegorz | - | - |