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 - 40ROK: 1996CZYSTY TEKSTBIBTEX
-
Decision problems for equational theories of relation algebras Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 47 - 52ROK: 1994CZYSTY TEKSTBIBTEX
-
Completeness of Floyd logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 115 - 120ROK: 1978CZYSTY TEKSTBIBTEX
-
Problems with the category theoretic notions of ultraproducts Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 122 - 127ROK: 1981CZYSTY TEKSTBIBTEX
-
Program verification within and without logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 124 - 129ROK: 1979CZYSTY 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
-
Not all representable cylindric algebras are neat reducts Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 145 - 147ROK: 1979CZYSTY TEKSTBIBTEX
-
On universal algebraic logic and cylindric algebras Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 152 - 158ROK: 1978CZYSTY 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 - 168ROK: 1995CZYSTY 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 - 192ROK: 1995CZYSTY TEKSTBIBTEX
-
Quasi equational logic of partial algebras Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 193 - 197ROK: 1980CZYSTY TEKSTBIBTEX
