Hajnal Andreka
6 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
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
-
Program verification within and without logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 124 - 129ROK: 1979CZYSTY 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
-
Quasi equational logic of partial algebras Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 193 - 197ROK: 1980CZYSTY TEKSTBIBTEX
