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 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 343--348 (1984; Zbl 0589.68028)
Mirkowska, Grazyna On the propositional algorithmic theory of arithmetic. (English) Zbl 0541.68012 Logics of programs and their applications, Proc. Symp., Poznan 1980, Lect. Notes Comput. Sci. 148, 166-185 (1983). Reviewer: H.Nishimura MSC: 68Q65 03D20 68Q60 03B60 PDFBibTeX XML
Mirkowska, Grażyna Multimodal logic as a base of algorithmic logic. (English) Zbl 0533.03004 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 65-68 (1983). Reviewer: H.Nishimura MSC: 03B45 68Q65 PDFBibTeX XMLCite \textit{G. Mirkowska}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 52, 65--68 (1983; Zbl 0533.03004)
Mirkowska, Grazyna The representation theorem for algorithmic algebras. (English) Zbl 0501.03043 Logics of programs, Workshop Yorktown Heights/NY 1981, Lect. Notes Comput. Sci. 131, 300-310 (1982). MSC: 03G25 68Q65 PDFBibTeX XML
Mirkowska, G. Algorithmic logic with nondeterministic programs. (English) Zbl 0494.68031 Mathematical logic in computer science, Salgotarjan/Hung. 1978, Colloq. Math. Soc. Janos Bolyai 26, 547-560 (1981). MSC: 68Q65 68Q60 03B60 03B45 PDFBibTeX XML
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 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 4, 675--760 (1981; Zbl 0494.68030)
Mirkowska, Grazyna PAL - propositional algorithmic logic. (English) Zbl 0487.03012 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 23-101 (1981). MSC: 03B60 68Q65 03B45 68N01 PDFBibTeX XML
Miller, Raymond E. (ed.) [Meyer, Albert R.; Parikh, Rohit; Reif, J. H.; Mirkowska, Grazyna; Pratt, V. R.; Ukkonen, Esko; Plaisted, David A.; DeMillo, R. A.; Lipton, R. J.; Joseph, D.; Young, Paul; Lynch, N. A.; Angluin, D.; Toueg, S.; Brown, Donna J.; Strong, H. R.; Sadri, F.; Ullman, Jeffrey D.; Fagin, Ronald; Overmars, M. H.; van Leeuwen, Jan; Chazelle, Bernard; Dobkin, D. P.; Guibas, L. J.; Yao, Frances F.; Tompa, Martin; Fischer, Michael J.; Paterson, Michael S.; Brent, R. P.; Kung, H. T.; Storer, J. A.; Cypher, A.; Lichtenstein, David; Miller, Gary; Filotti, I. S.; Mayer, Jack N.; Hoffmann, C. M.; Kannan, R.; Heintz, J.; Schnorr, C. P.; Ibarra, O. H.; Leininger, B. S.; Ehrig, H.; Mahr, B.; Borodin, A.; Cook, S.; Karp, R. M.; Hong, Jia-wei; Yap, C. K.; Carlson, D. A.; Savage, J. E.; Ja’Ja’, Joseph; Pippenger, N.; Paul, W. J.; Seiferas, J. I.; Simon, J.; Tarjan, R. E.; Bloniarz, P.; Spirakis, P.; Supowit, K. J.; Reingold, E. M.; Frederickson, G. N.; Johnson, D. B.; Lloyd, E. L.] Conference proceedings of the twelfth annual ACM symposium on theory of computing, held at Los Angeles, California, April 28-30, 1980. (English) Zbl 0476.68003 Sponsored by the Association for Computing Machinery, Special Interest Group on Automata and Computability Theory, with the Cooperation of the IEEE Computer Society Technical Committee on Mathematical Foundations of Computing and Computer Science Department, University of Southern California, Los Angeles, California. New York: The Association for Computing Machinery, Inc. V, 447 p. $ 14.00; $ 17.00 (1980). MSC: 68-06 00Bxx PDFBibTeX XML
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 45--64 (1980; Zbl 0439.68024)
Mirkowska, Grazyna On the propositional algorithmic logic. (English) Zbl 0438.68002 Mathematical foundations of computer science, Proc. 8th Symp., Olomouc/Czech. 1979, Lect. Notes Comput. Sci. 74, 381-389 (1979). MSC: 68Q65 68Q60 03B45 03B60 PDFBibTeX XML
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 PDFBibTeX XMLCite \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 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 1--17 (1977; Zbl 0358.68036)
Mirkowska, G. Herbrand theorem in the algorithmic logic. (English) Zbl 0343.68015 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 539-543 (1974). MSC: 68N01 03D99 03F99 PDFBibTeX XMLCite \textit{G. Mirkowska}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 22, 539--543 (1974; Zbl 0343.68015)
Mirkowska, G. On formalized systems of algorithmic logic. (English) Zbl 0222.02010 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 421-428 (1971). MSC: 03B99 PDFBibTeX XMLCite \textit{G. Mirkowska}, Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 19, 421--428 (1971; Zbl 0222.02010)