The SCEAS System
| |||||||

## Search the dblp DataBase
Andrzej Salwicki:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Grazyna Mirkowska, Andrzej Salwicki
**On Applications of Algorithmic Logic.**[Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:288-306 [Conf] - Andrzej Salwicki
**An Algorithmic Approach to Set Theory.**[Citation Graph (0, 0)][DBLP] FCT, 1977, pp:499-510 [Conf] - Andrzej Salwicki
**Algorithmic Theories of Data Structures.**[Citation Graph (0, 0)][DBLP] ICALP, 1982, pp:458-472 [Conf] - Andrzej Salwicki
**On the Algorithmic Theory of Dictionaries.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1979, pp:145-168 [Conf] - Andrzej Salwicki
**Critical Remarks on MAX Model of Concurrency.**[Citation Graph (0, 0)][DBLP] Logic of Programs, 1981, pp:397-405 [Conf] - 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] - 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] - Andrzej Salwicki
**Procedures, Formal Computations and Models.**[Citation Graph (0, 0)][DBLP] MFCS, 1974, pp:464-484 [Conf] - Andrzej Salwicki
**Applied Algorithmic Logic.**[Citation Graph (0, 0)][DBLP] MFCS, 1977, pp:122-134 [Conf] - Andrzej Salwicki
**On Algorithmic Theory of Stacks.**[Citation Graph (0, 0)][DBLP] MFCS, 1978, pp:452-461 [Conf] - Andrzej Salwicki
**Axioms of Algorithmic Logic Univocally Determine Semantics of Programs.**[Citation Graph (0, 0)][DBLP] MFCS, 1980, pp:552-561 [Conf] - 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] - 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] - 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] - Andrzej Salwicki
**On the algorithmic theory of stacks.**[Citation Graph (0, 0)][DBLP] Fundam. Inform., 1980, v:3, n:3, pp:311-332 [Journal] - 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.002secs, Finished in 0.003secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |