Ildiko Sain
8 articles in 1 journals
-
Total correctness in nonstandard dynamic logic Published in: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / p. 64 - 701983Plain Text
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" }
-
On finitizing first order logic Published in: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / p. 66 - 791994Plain Text
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" }
-
Amalgamation, epimorphisms and definability properties in algebraic logic Published in: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / p. 72 - 781989Plain Text
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" }
-
Complexity of equational theory of relational algebras with projection elements Published in: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 3 / p. 103 - 1111992Plain Text
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" }
-
Program verification within and without logic Published in: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / p. 124 - 1291979Plain Text
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" }
-
Computer sciences temporal logics need their clocks Published in: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 4 / p. 153 - 1601989Plain Text
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 Published in: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / p. 158 - 1681995Plain Text
Istvan Nemeti, Ildiko Sain, 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 = " Istvan Nemeti, Ildiko Sain", 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" }
-
Fork algebras in usual and in non-well-founded set theories : part II Published in: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 4 / p. 182 - 1921995Plain Text
Istvan Nemeti, Ildiko Sain, 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 = " Istvan Nemeti, Ildiko Sain", 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" }