Przeglądaj przez Autor Ishida, Kazuhisa
Pokazuję rezultaty 1 do 4 z 4
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2014 | Definition of Flat Poset and Existence Theorems for Recursive Call | Ishida, Kazuhisa; Shidama, Yasunari; Grabowski, Adam | - | - |
| 2010 | Fixpoint Theorem for Continuous Functions on Chain-Complete Posets | Ishida, Kazuhisa; Shidama, Yasunari | - | - |
| 2008 | Model Checking. Part II | Ishida, Kazuhisa | - | - |
| 2008 | Model Checking. Part III | Ishida, Kazuhisa; Shidama, Yasunari | - | - |
