Mirkowska, Grazyna; Salwicki, Andrzej The algebraic specifications do not have the Tennenbaum property. (English) Zbl 0863.68091 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 1-2, 141-152 (1996). MSC: 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska} and \textit{A. Salwicki}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 1--2, 141--152 (1996; Zbl 0863.68091)
Mirkowska, Grażyna On a certain property not expressible in PAL. (English) Zbl 0589.68028 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 343-348 (1984). Reviewer: L.Brim MSC: 68Q65 03B45 03B60 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 343--348 (1984; Zbl 0589.68028)
Mirkowska, Grazyna PAL - Propositional algorithmic logic. (English) Zbl 0494.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675-760 (1981). MSC: 68Q65 03B60 68N01 68Q60 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675--760 (1981; Zbl 0494.68030)
Mirkowska, Grazyna Model existence theorem in algorithmic logic with non-deterministic programs. (English) Zbl 0439.68025 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 157-170 (1980). MSC: 68Q60 68Q65 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 157--170 (1980; Zbl 0439.68025)
Mirkowska, Grazyna Algorithmic logic with nondeterministic programs. (English) Zbl 0439.68024 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 45-64 (1980). MSC: 68Q60 68Q65 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 45--64 (1980; Zbl 0439.68024)
Mirkowska, Grazyna; Orlowska, Ewa An elimination of iteration quantifiers in a certain class of algorithmic formulas. (English) Zbl 0386.68043 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 347-355 (1978). MSC: 68Q65 68W99 PDF BibTeX XML Cite \textit{G. Mirkowska} and \textit{E. Orlowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 347--355 (1978; Zbl 0386.68043)
Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. II. (English) Zbl 0384.68010 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147-165 (1977). MSC: 68N01 68Q65 03B60 68W99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147--165 (1977; Zbl 0384.68010)
Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. I. (English) Zbl 0358.68036 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1-17 (1977). MSC: 68N01 03B99 PDF BibTeX XML Cite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1--17 (1977; Zbl 0358.68036)