Review: A. Salwicki, Formalized Algorithmic Languages; A. Salwicki, On the Equivalence of FS-Expressions and Programs; A. Salwicki, On the Predicate Calculi with Iteration Quantifiers [Book Review]

Journal of Symbolic Logic 39 (2):349-350 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Salwicki A.. Formalized algorithmic languages. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 227–232, XVII, XVII.Salwicki A.. On the equivalence of FS-expressions and programs. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 275–278, XXI, XXI.Salwicki A.. On the predicate calculi with iteration quantifiers. English with English and Russian summaries. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 18 , pp. 279–285, XXI, XXI. [REVIEW]E. Engeler - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Review: G. Mirkowska, A. Salwicki, Algorithmic Logic. [REVIEW]E. Engler - 1989 - Journal of Symbolic Logic 54 (3):1105-1106.
Mirkowska G. and Salwicki A.. Algorithmic logic. D. Reidel Publishing Company, Dordrecht etc., and PWN-Polish Scientific Publishers, Warsaw, 1987, xi+ 372 pp. [REVIEW]E. Engeler - 1989 - Journal of Symbolic Logic 54 (3):1105-1106.
On logic of complex algorithms.Helena Rasiowa - 1981 - Studia Logica 40 (3):289 - 310.
Review: E. Engeler, Algorithmic Logic. [REVIEW]Andrzej Salwicki - 1977 - Journal of Symbolic Logic 42 (3):420-421.
Review: B. Courcelle, B. Domolki, T. Gergely, Equational Theories and Equivalences of Programs; J. W. de Bakker, J. I. Zucker, Derivatives of Programs; E. Engeler, An Algorithmic Model of Strict Finitism. [REVIEW]Steven S. Muchnick - 1984 - Journal of Symbolic Logic 49 (3):990-991.
Review: Erwin Engeler, Algorithmic Approximations. [REVIEW]R. M. Burstall - 1974 - Journal of Symbolic Logic 39 (2):348-348.
Formalized Algorithmic Languages.A. Salwicki - 1974 - Journal of Symbolic Logic 39 (2):349-350.
Review: Erwin Engeler, Algorithmic Properties of Structures. [REVIEW]Ann S. Ferebee - 1972 - Journal of Symbolic Logic 37 (1):197-197.
Scott Dana. The lattice of flow diagrams. Symposium on semantics of algorithmic languages, edited by Engeler E., Lecture notes in mathematics, vol. 188, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, pp. 311–366. [REVIEW]John C. Reynolds - 1975 - Journal of Symbolic Logic 40 (2):247-248.

Analytics

Added to PP
2013-11-03

Downloads
4 (#1,642,858)

6 months
4 (#1,005,811)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references