Tomasz Połacik
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Anti-Chains, Focuses and Projective Formulas Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 1 / s. 1 - 12ROK: 2005CZYSTY TEKSTBIBTEX
-
Quantified Intuitionistic Propositional Logic and Cantor Space Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 1-2 / s. 65 - 74ROK: 2003CZYSTY TEKSTBIBTEX
-
Bisimulation Reducts of First-Order Kripke Models Opublikowano w: Bulletin of the Section of Logic 2013 / Tom 42 / Numer 3-4 / s. 151 - 160ROK: 2013CZYSTY TEKSTBIBTEX
-
Partially-elementary extension Kripke models and Burr's hierarchy Opublikowano w: Bulletin of the Section of Logic 1999 / Tom 28 / Numer 4 / s. 207 - 214ROK: 1999CZYSTY TEKSTBIBTEX
