  Typ výsledku
Autor celku
Název celku(Celkem 6 zázn.)
|
|---|
| Glivická, Jana. Realising Some Types While Omitting Others. In Szarková, Dagmar; Letavaj, Peter; Richtáriková, Daniela; Gabková, Jana. 17th Conference on Applied Mathematics APLIMAT 2017 Proceedings. : Spektrum STU, Bratislava, 2018. s. 397–402. ISBN 978-80-227-4765-3. [Článek ve sborníku] |
| Glivická, Jana; Glivický, Petr. Shepherdson's Theorems for Fragments of Open Induction. In Szarková, Dagmar; Letavaj, Peter; Richtáriková, Daniela; Prášilová, Monika. 16th Conference on Applied Mathematics APLIMAT 2017 Proceedings. : Spektrum STU, Bratislava, 2017. s. 583–589. ISBN 978-80-227-4650-2. [Článek ve sborníku] |
| Glivická, Jana, V tomto roce byl přijat k publikaci můj článek Integer Part Presentation of Models of Open Induction v recenzovaném časopise Mundus Symbolicus, ročník 27, ISSN 1210-809X. Přikládám samotný článek a potvrzení o přijetí k publikaci od editorky časopisu. [Jiný výsledek] |
| Glivická, Jana, poster z konference Model Theory, Bedlewo [Jiný výsledek] |
| Glivická, Jana, Jedná se o rozpracovaný rukopis článku o modelech aritmetik s lineární indukcí. Očekáváme jeho brzké dopracování a přijetí článku k publikaci v průběhu roku 2018. [Jiný výsledek] |
| Glivická, Jana; Glivický, Petr, V prosinci 2016 byl v recenzním řízení přijat článek Shepherdon's Theorems for Fragments of Open Induction, jehož jsem spoluautorkou, k publikaci ve sborníku konference APLIMAT 2017 (http://evlm.stuba.sk/APLIMAT/indexe.htm). Článek přikládám jako pdf. [Jiný výsledek] |
