The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Helena Rasiowa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Helena Rasiowa, Andrzej Skowron
    Approximation logic. [Citation Graph (0, 0)][DBLP]
    Mathematical Methods of Specification and Synthesis of Software Systems, 1985, pp:123-139 [Conf]
  2. Helena Rasiowa
    Logic of Approximation Reasoning. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:188-210 [Conf]
  3. Helena Rasiowa
    Logic of complex algorithms. [Citation Graph (0, 0)][DBLP]
    FCT, 1979, pp:370-381 [Conf]
  4. Helena Rasiowa, George Epstein
    Approximation Reasoning and Scott's Information Systems. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1987, pp:33-42 [Conf]
  5. Helena Rasiowa, V. Wiktor Marek
    Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ISMIS, 1993, pp:142-151 [Conf]
  6. George Epstein, Helena Rasiowa
    Theory and Uses of Post Algebras of Order omega+omegaw\ast.I. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1990, pp:42-47 [Conf]
  7. George Epstein, Helena Rasiowa
    Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II. [Citation Graph (0, 0)][DBLP]
    ISMVL, 1991, pp:248-254 [Conf]
  8. Helena Rasiowa
    omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:423-450 [Conf]
  9. Helena Rasiowa
    Completeness in Classical Logic of Complex Algorithms. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:488-503 [Conf]
  10. Helena Rasiowa
    On the Logical Structure of Mix-valued Programs and the omega+-valued Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys., 1973, v:21, n:5, pp:451-458 [Journal]
  11. Helena Rasiowa
    Formalized omega+-valued Algorithmic Systems. [Citation Graph (0, 0)][DBLP]
    Bull. Acad. Polon. Sci., Sér. Sci. Math. Astronom. Phys., 1973, v:21, n:6, pp:559-566 [Journal]
  12. Helena Rasiowa
    Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. [Citation Graph (0, 0)][DBLP]
    Int. J. Approx. Reasoning, 1991, v:5, n:4, pp:415-432 [Journal]
  13. Helena Rasiowa, V. Wiktor Marek
    Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 1993, v:2, n:2, pp:149-164 [Journal]
  14. George Epstein, Helena Rasiowa
    A partially ordered extention of the integers. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:54, n:3, pp:303-332 [Journal]
  15. Helena Rasiowa
    Axiomatization and completeness of uncountably valued approximation logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:1, pp:137-160 [Journal]
  16. Helena Rasiowa
    In Memoriam Cecylia Rauszer. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1994, v:53, n:4, pp:467-472 [Journal]
  17. V. Wiktor Marek, Helena Rasiowa
    Approximating Sets with Equivalence Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:48, n:3, pp:145-152 [Journal]

Search in 0.008secs, Finished in 0.009secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002