Istvan Nemeti
11 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Ontology can turn negative results to positive Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 1 / s. 29 - 401996CZYSTY TEKSTBIBTEX
-
Decision problems for equational theories of relation algebras Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 47 - 521994CZYSTY TEKSTBIBTEX
-
Completeness of Floyd logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 115 - 1201978CZYSTY TEKSTBIBTEX
-
Problems with the category theoretic notions of ultraproducts Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 122 - 1271981CZYSTY TEKSTBIBTEX
-
Program verification within and without logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 124 - 1291979CZYSTY TEKSTBIBTEX
-
On the finitization problem of relation algebras Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 3 / s. 139 - 1431997CZYSTY TEKSTBIBTEX
-
Not all representable cylindric algebras are neat reducts Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 145 - 1471979CZYSTY TEKSTBIBTEX
-
On universal algebraic logic and cylindric algebras Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 152 - 1581978CZYSTY TEKSTBIBTEX
-
Fork algebras in usual and in non-well-founded set theories : part I Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 158 - 1681995CZYSTY TEKSTBIBTEX
-
Fork algebras in usual and in non-well-founded set theories : part II Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / s. 182 - 1921995CZYSTY TEKSTBIBTEX
-
Quasi equational logic of partial algebras Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 193 - 1971980CZYSTY TEKSTBIBTEX