Ildiko Sain

8 articles in 1 journals

ARTICLE TITLE YEAR AUTHORS ACTIONS

Total correctness in nonstandard dynamic logic Published in: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / p. 64 - 70

1983

Ildiko Sain

Plain 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 - 79

1994

Ildiko Sain

Plain 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 - 78

1989

Ildiko Sain

Plain 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 - 111

1992

Szabolcs Mikulas Ildiko Sain Andras Simon

Plain 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 - 129

1979

Hajnal Andreka Istvan Nemeti Ildiko Sain

Plain 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 - 160

1989

Ildiko Sain

Plain 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 - 168

1995

Istvan Nemeti Ildiko Sain

Plain 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 - 192

1995

Istvan Nemeti Ildiko Sain

Plain 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" }