Ildiko Sain
8 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Total correctness in nonstandard dynamic logic Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 2 / s. 64 - 70ROK: 1983CZYSTY TEKSTBIBTEX
-
On finitizing first order logic Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 2 / s. 66 - 79ROK: 1994CZYSTY TEKSTBIBTEX
-
Amalgamation, epimorphisms and definability properties in algebraic logic Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 72 - 78ROK: 1989CZYSTY TEKSTBIBTEX
-
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 - 111ROK: 1992CZYSTY 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
-
Computer sciences temporal logics need their clocks Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 4 / s. 153 - 160ROK: 1989CZYSTY TEKSTBIBTEX
-
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 - 168ROK: 1995CZYSTY TEKSTBIBTEX
-
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 - 192ROK: 1995CZYSTY TEKSTBIBTEX
