Andrzej Salwicki
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
3
Active years
1974–1991
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1991 | MFCS | On a Hierarchy of File Types and a Tower of Their Theories. | Andrzej Salwicki |
| 1982 | ICALP | Algorithmic Theories of Data Structures. | Andrzej Salwicki |
| 1980 | MFCS | Axioms of Algorithmic Logic Univocally Determine Semantics of Programs. | Andrzej Salwicki |
| 1978 | MFCS | On Algorithmic Theory of Stacks. | Andrzej Salwicki |
| 1977 | FCT | An Algorithmic Approach to Set Theory. | Andrzej Salwicki |
| 1977 | MFCS | Applied Algorithmic Logic. | Andrzej Salwicki |
| 1976 | MFCS | A Complete Axiomatic Characterization of Algorithmic Properties of Block-Structured Programs with Procedures. | Grazyna Mirkowska, Andrzej Salwicki |
| 1976 | MFCS | Computational Processes Generated by Programs with Recursive Procedures and Block Structures. | Andrzej Salwicki, Tomasz Mldner |
| 1974 | MFCS | Procedures, Formal Computations and Models. | Andrzej Salwicki |