Helena Rasiowa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
1974–1993
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ISMIS | Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). | Helena Rasiowa, V. Wiktor Marek |
| 1987 | CSL | Logic of Approximation Reasoning. | Helena Rasiowa |
| 1987 | ISMIS | Approximation Reasoning and Scott's Information Systems. | Helena Rasiowa, George Epstein |
| 1986 | ISMIS | Approximating sets with equivalence relations. | V. Wiktor Marek, Helena Rasiowa |
| 1980 | MFCS | Completeness in Classical Logic of Complex Algorithms. | Helena Rasiowa |
| 1979 | FCT | Logic of complex algorithms. | Helena Rasiowa |
| 1974 | MFCS | omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. | Helena Rasiowa |