Helena Rasiowa

24 papers B 4C 3Journal 12Unranked 5
YearRankTypeTitle / Venue / Authors
1995 J jnl
A partially ordered extention of the integers.
Stud Logica
George Epstein, Helena Rasiowa
1994 J jnl
Axiomatization and completeness of uncountably valued approximation logic.
Stud Logica
Helena Rasiowa
1994 J jnl
In Memoriam Cecylia Rauszer.
Stud Logica
Helena Rasiowa
1993 C conf
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).
ISMIS
Helena Rasiowa, V. Wiktor Marek
1993 J jnl
Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing.
J. Intell. Inf. Syst.
Helena Rasiowa, V. Wiktor Marek
1991 J jnl
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents.
Int. J. Approx. Reason.
Helena Rasiowa
1991 — conf
Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II.
ISMVL
George Epstein, Helena Rasiowa
1990 — conf
Theory and Uses of Post Algebras of Order omega+omegaw\ast.I.
ISMVL
George Epstein, Helena Rasiowa
1989 J jnl
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability.
Stud Logica
Nguyen Cat Ho, Helena Rasiowa
1987 C conf
Approximation Reasoning and Scott's Information Systems.
ISMIS
Helena Rasiowa, George Epstein
1987 B conf
Logic of Approximation Reasoning.
CSL
Helena Rasiowa
1987 J jnl
Semi-Post algebras.
Stud Logica
Nguyen Cat Ho, Helena Rasiowa
1987 J jnl
Subalgebras and homomorphisms of semi-Post algebras.
Stud Logica
Nguyen Cat Ho, Helena Rasiowa
1986 J jnl
Approximating Sets with Equivalence Relations.
Theor. Comput. Sci.
V. Wiktor Marek, Helena Rasiowa
1986 C conf
Approximating sets with equivalence relations.
ISMIS
V. Wiktor Marek, Helena Rasiowa
1985 — conf
Approximation logic.
Mathematical Methods of Specification and Synthesis of Software Systems
Helena Rasiowa, Andrzej Skowron
1985 J jnl
Topological representations of Post algebras of order ω
Stud Logica
Helena Rasiowa
1984 — conf
Rough concepts logic.
Symposium on Computation Theory
Helena Rasiowa, Andrzej Skowron
1984 — conf
Theories of interacting stacks.
Symposium on Computation Theory
Helena Rasiowa
1980 B conf
Completeness in Classical Logic of Complex Algorithms.
MFCS
Helena Rasiowa
1979 B conf
Logic of complex algorithms.
FCT
Helena Rasiowa
1974 B conf
omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures.
MFCS
Helena Rasiowa
1973 J jnl
Formalized omega
Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys.
Helena Rasiowa
1973 J jnl
On the Logical Structure of Mix-valued Programs and the omega
Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys.
Helena Rasiowa