-
On universal algebraic logic and cylindric algebras Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 4 / s. 152 - 1581978CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, On universal algebraic logic and cylindric algebras, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 4, s. 152 - 158
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "On universal algebraic logic and cylindric algebras", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 4", pages = "152 - 158" }
-
Completeness of Floyd logic Opublikowano w: Bulletin of the Section of Logic 1978 / Tom 7 / Numer 3 / s. 115 - 1201978CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Completeness of Floyd logic, Bulletin of the Section of Logic, 1978 / Tom 7 / Numer 3, s. 115 - 120
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "Completeness of Floyd logic", journal = "Bulletin of the Section of Logic", issue = "1978 / Tom 7 / Numer 3", pages = "115 - 120" }
-
Not all representable cylindric algebras are neat reducts Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 145 - 1471979CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Not all representable cylindric algebras are neat reducts, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 145 - 147
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti", title = "Not all representable cylindric algebras are neat reducts", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "145 - 147" }
-
Quasi equational logic of partial algebras Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 193 - 1971980CZYSTY TEKST
Istvan Nemeti, Hajnal Andreka, Quasi equational logic of partial algebras, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 193 - 197
BIBTEX@Article{ authors = " Istvan Nemeti, Hajnal Andreka", title = "Quasi equational logic of partial algebras", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "193 - 197" }
-
Decision problems for equational theories of relation algebras Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 47 - 521994CZYSTY TEKST
Hajnal Andreka, Steven Givant, Istvan Nemeti, Decision problems for equational theories of relation algebras, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 47 - 52
BIBTEX@Article{ authors = " Hajnal Andreka, Steven Givant, Istvan Nemeti", title = "Decision problems for equational theories of relation algebras", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "47 - 52" }
-
Program verification within and without logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 124 - 1291979CZYSTY TEKST
Hajnal Andreka, Istvan Nemeti, Ildiko Sain, Program verification within and without logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 124 - 129
BIBTEX@Article{ authors = " Hajnal Andreka, Istvan Nemeti, Ildiko Sain", title = "Program verification within and without logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "124 - 129" }
