-
Amalgamation, epimorphisms and definability properties in algebraic logic Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 72 - 781989CZYSTY TEKST
Ildiko Sain, Amalgamation, epimorphisms and definability properties in algebraic logic, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 72 - 78
BIBTEX@Article{ authors = " Ildiko Sain", title = "Amalgamation, epimorphisms and definability properties in algebraic logic", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "72 - 78" }
-
On finitizing first order logic Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 66 - 791994CZYSTY TEKST
Ildiko Sain, On finitizing first order logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 2, s. 66 - 79
BIBTEX@Article{ authors = " Ildiko Sain", title = "On finitizing first order logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 2", pages = "66 - 79" }
-
Total correctness in nonstandard dynamic logic Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / s. 64 - 701983CZYSTY TEKST
Ildiko Sain, Total correctness in nonstandard dynamic logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 2, s. 64 - 70
BIBTEX@Article{ authors = " Ildiko Sain", title = "Total correctness in nonstandard dynamic logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 2", pages = "64 - 70" }
-
Complexity of equational theory of relational algebras with projection elements Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 3 / s. 103 - 1111992CZYSTY TEKST
Szabolcs Mikulas, Ildiko Sain, Andras Simon, Complexity of equational theory of relational algebras with projection elements, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 3, s. 103 - 111
BIBTEX@Article{ authors = " Szabolcs Mikulas, Ildiko Sain, Andras Simon", title = "Complexity of equational theory of relational algebras with projection elements", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 3", pages = "103 - 111" }
-
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 TEKST
Ildiko Sain, Istvan Nemeti, Fork algebras in usual and in non-well-founded set theories : part II, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 4, s. 182 - 192
BIBTEX@Article{ authors = " Ildiko Sain, Istvan Nemeti", title = "Fork algebras in usual and in non-well-founded set theories : part II", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 4", pages = "182 - 192" }
-
Computer sciences temporal logics need their clocks Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 4 / s. 153 - 1601989CZYSTY TEKST
Ildiko Sain, Computer sciences temporal logics need their clocks, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 4, s. 153 - 160
BIBTEX@Article{ authors = " Ildiko Sain", title = "Computer sciences temporal logics need their clocks", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 4", pages = "153 - 160" }
-
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 TEKST
Ildiko Sain, Istvan Nemeti, Fork algebras in usual and in non-well-founded set theories : part I, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 158 - 168
BIBTEX@Article{ authors = " Ildiko Sain, Istvan Nemeti", title = "Fork algebras in usual and in non-well-founded set theories : part I", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "158 - 168" }
-
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" }
