Gabor Sagi
5 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
AbsolutelyUbiquitous Structures and אi0 - Stability Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 43 - 51ROK: 2010CZYSTY TEKSTBIBTEX
-
On the finitization problem of relation algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 139 - 143ROK: 1997CZYSTY TEKSTBIBTEX
-
A Short Proof for the Completeness of Paramodulacion Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4 / s. 147 - 152ROK: 2010CZYSTY TEKSTBIBTEX
-
Non-Computability of the Equational Theory of Polyadic Algebras Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 155 - 164ROK: 2001CZYSTY TEKSTBIBTEX
-
A model Theoretic characterization of complexity of theories Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 190 - 195ROK: 1998CZYSTY TEKSTBIBTEX
