Gabor Sagi
5 artykuły w 1 czasopismach
-
AbsolutelyUbiquitous Structures and אi0 - Stability Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 1-2 / s. 43 - 512010CZYSTY TEKST
Gabor Sagi, AbsolutelyUbiquitous Structures and אi0 - Stability, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 1-2, s. 43 - 51
BIBTEX@Article{ authors = " Gabor Sagi", title = "AbsolutelyUbiquitous Structures and אi0 - Stability", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 1-2", pages = "43 - 51" }
-
On the finitization problem of relation algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 139 - 1431997CZYSTY TEKST
Judit Madarasz, Istvan Nemeti, Gabor Sagi, On the finitization problem of relation algebras, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 3, s. 139 - 143
BIBTEX@Article{ authors = " Judit Madarasz, Istvan Nemeti, Gabor Sagi", title = "On the finitization problem of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 3", pages = "139 - 143" }
-
A Short Proof for the Completeness of Paramodulacion Opublikowano w: Bulletin of the Section of Logic 2010 / Tom 39 / Numer 3-4 / s. 147 - 1522010CZYSTY TEKST
Gabor Sagi, A Short Proof for the Completeness of Paramodulacion, Bulletin of the Section of Logic, 2010 / Tom 39 / Numer 3-4, s. 147 - 152
BIBTEX@Article{ authors = " Gabor Sagi", title = "A Short Proof for the Completeness of Paramodulacion", journal = "Bulletin of the Section of Logic", issue = "2010 / Tom 39 / Numer 3-4", pages = "147 - 152" }
-
Non-Computability of the Equational Theory of Polyadic Algebras Opublikowano w: Bulletin of the Section of Logic 2001 / Tom 30 / Numer 3 / s. 155 - 1642001CZYSTY TEKST
Gabor Sagi, Non-Computability of the Equational Theory of Polyadic Algebras, Bulletin of the Section of Logic, 2001 / Tom 30 / Numer 3, s. 155 - 164
BIBTEX@Article{ authors = " Gabor Sagi", title = "Non-Computability of the Equational Theory of Polyadic Algebras", journal = "Bulletin of the Section of Logic", issue = "2001 / Tom 30 / Numer 3", pages = "155 - 164" }
-
A model Theoretic characterization of complexity of theories Opublikowano w: Bulletin of the Section of Logic 1998 / Tom 27 / Numer 4 / s. 190 - 1951998CZYSTY TEKST
Gabor Sagi, A model Theoretic characterization of complexity of theories, Bulletin of the Section of Logic, 1998 / Tom 27 / Numer 4, s. 190 - 195
BIBTEX@Article{ authors = " Gabor Sagi", title = "A model Theoretic characterization of complexity of theories", journal = "Bulletin of the Section of Logic", issue = "1998 / Tom 27 / Numer 4", pages = "190 - 195" }
