| 1995 | ||
|---|---|---|
| 19 | George Epstein, Helena Rasiowa: A partially ordered extention of the integers. Studia Logica 54(3): 303-332 (1995) | |
| 1994 | ||
| 18 | Helena Rasiowa: Axiomatization and completeness of uncountably valued approximation logic. Studia Logica 53(1): 137-160 (1994) | |
| 17 | Helena Rasiowa: In Memoriam Cecylia Rauszer. Studia Logica 53(4): 467-472 (1994) | |
| 1993 | ||
| 16 | Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS 1993: 142-151 | |
| 15 | Helena Rasiowa, V. Wiktor Marek: Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2(2): 149-164 (1993) | |
| 1991 | ||
| 14 | George Epstein, Helena Rasiowa: Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II. ISMVL 1991: 248-254 | |
| 13 | Helena Rasiowa: Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Int. J. Approx. Reasoning 5(4): 415-432 (1991) | |
| 1990 | ||
| 12 | George Epstein, Helena Rasiowa: Theory and Uses of Post Algebras of Order omega+omegaw\ast.I. ISMVL 1990: 42-47 | |
| 1987 | ||
| 11 | Helena Rasiowa: Logic of Approximation Reasoning. CSL 1987: 188-210 | |
| 10 | Helena Rasiowa, George Epstein: Approximation Reasoning and Scott's Information Systems. ISMIS 1987: 33-42 | |
| 1986 | ||
| 9 | V. Wiktor Marek, Helena Rasiowa: Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48(3): 145-152 (1986) | |
| 1985 | ||
| 8 | Helena Rasiowa, Andrzej Skowron: Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 123-139 | |
| 1984 | ||
| 7 | Helena Rasiowa: Theories of interacting stacks. Symposium on Computation Theory 1984: 276-287 | |
| 6 | Helena Rasiowa, Andrzej Skowron: Rough concepts logic. Symposium on Computation Theory 1984: 288-297 | |
| 1980 | ||
| 5 | Helena Rasiowa: Completeness in Classical Logic of Complex Algorithms. MFCS 1980: 488-503 | |
| 1979 | ||
| 4 | Helena Rasiowa: Logic of complex algorithms. FCT 1979: 370-381 | |
| 1974 | ||
| 3 | Helena Rasiowa: omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS 1974: 423-450 | |
| 1973 | ||
| 2 | Helena Rasiowa: On the Logical Structure of Mix-valued Programs and the omega+-valued Algorithmic Logic. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(5): 451-458 (1973) | |
| 1 | Helena Rasiowa: Formalized omega+-valued Algorithmic Systems. Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys. 21(6): 559-566 (1973) | |
| 1 | George Epstein | [10] [12] [14] [19] |
| 2 | Victor W. Marek (V. Wiktor Marek) | [9] [15] [16] |
| 3 | Andrzej Skowron | [6] [8] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page