The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andrzej Salwicki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Grazyna Mirkowska, Andrzej Salwicki
    On Axiomatic Definition of Max-Model of Concurrency. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:199-230 [Conf]
  2. Grazyna Mirkowska, Andrzej Salwicki
    On Applications of Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    CAAP, 1986, pp:288-306 [Conf]
  3. Andrzej Salwicki
    An Algorithmic Approach to Set Theory. [Citation Graph (0, 0)][DBLP]
    FCT, 1977, pp:499-510 [Conf]
  4. Andrzej Salwicki
    Algorithmic Theories of Data Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 1982, pp:458-472 [Conf]
  5. Andrzej Salwicki
    On the Algorithmic Theory of Dictionaries. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:145-168 [Conf]
  6. Andrzej Salwicki
    Critical Remarks on MAX Model of Concurrency. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1981, pp:397-405 [Conf]
  7. Andrzej Salwicki, Tomasz Müldner
    On the Algorithmic Properties of Concurrent Programs. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1979, pp:169-197 [Conf]
  8. Grazyna Mirkowska, Andrzej Salwicki
    A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:602-606 [Conf]
  9. Andrzej Salwicki
    Procedures, Formal Computations and Models. [Citation Graph (0, 0)][DBLP]
    MFCS, 1974, pp:464-484 [Conf]
  10. Andrzej Salwicki
    Applied Algorithmic Logic. [Citation Graph (0, 0)][DBLP]
    MFCS, 1977, pp:122-134 [Conf]
  11. Andrzej Salwicki
    On Algorithmic Theory of Stacks. [Citation Graph (0, 0)][DBLP]
    MFCS, 1978, pp:452-461 [Conf]
  12. Andrzej Salwicki
    Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. [Citation Graph (0, 0)][DBLP]
    MFCS, 1980, pp:552-561 [Conf]
  13. Andrzej Salwicki
    On a Hierarchy of File Types and a Tower of Their Theories. [Citation Graph (0, 0)][DBLP]
    MFCS, 1991, pp:47-63 [Conf]
  14. Andrzej Salwicki, Tomasz Müldner
    Computational Processes Generated by Programs with Recursive Procedures and Block Structures. [Citation Graph (0, 0)][DBLP]
    MFCS, 1976, pp:503-509 [Conf]
  15. Grazyna Mirkowska, Andrzej Salwicki
    The Algebraic Specifications do not Have the Tennenbaum Property. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:28, n:1-2, pp:141-152 [Journal]
  16. Andrzej Salwicki
    On the algorithmic theory of stacks. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1980, v:3, n:3, pp:311-332 [Journal]
  17. Grazyna Mirkowska, Andrzej Salwicki, Marian Srebrny, Andrzej Tarlecki
    First-Order Specifications of Programmable Data Types. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2000, v:30, n:6, pp:2084-2096 [Journal]

Search in 0.003secs, Finished in 0.004secs
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