- CSB - MetaPress - Google - Bing - Yahoo
 | 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