Edit Profile (opens in new tab) Mirkowska, Grazyna Compute Distance To: Compute Author ID: mirkowska.grazyna Published as: Mirkowska, Grazyna; Mirkowska, G.; Mirkowska, Grażyna; Mirkowska, Grzyna External Links: MGP Documents Indexed: 27 Publications since 1971, including 1 Book 3 Contributions as Editor · 1 Further Contribution Co-Authors: 11 Co-Authors with 17 Joint Publications 202 Co-Co-Authors all top 5 Co-Authors 14 single-authored 10 Salwicki, Andrzej 3 Meyer, Albert Ronald 2 Kreczmar, Antoni 2 Rasiowa, Helena 2 Streett, Robert S. 2 Świda, Oskar 1 Angluin, Dana 1 Banachowski, Lech 1 Bloniarz, Peter A. 1 Borodin, Allan B. 1 Brent, Richard Peirce 1 Brown, Donna J. 1 Carlson, David A. 1 Chazelle, Bernard 1 Cook, Stephen Arthur 1 Cypher, A. 1 DeMillo, Richard A. 1 Dobkin, David P. 1 Ehrig, Hartmut 1 Fagin, Ronald 1 Filotti, I. S. 1 Fischer, Michael J. 1 Frederickson, Greg N. 1 Guibas, Leonidas John 1 Heintz, Joos 1 Hoffmann, Christoph M. 1 Hong, Jiawei 1 Ibarra, Oscar H. 1 Ja’Ja’, Joseph F. 1 Johnson, Donald B. 1 Joseph, Deborah 1 Kannan, Ravindran 1 Karp, Richard Manning 1 Kung, H. T. 1 Leininger, Brian S. 1 Lichtenstein, David 1 Lipton, Richard J. 1 Lloyd, Errol L. 1 Lynch, Nancy Ann 1 Mahr, Bernd 1 Mayer, Jack N. 1 Miller, Gary Lee 1 Miller, Raymond E. 1 Orłowska, Ewa S. 1 Overmars, Mark H. 1 Parikh, Rohit 1 Paterson, Michael S. 1 Paul, Wolfgang Jakob 1 Pippenger, Nicholas J. 1 Plaisted, David Alan 1 Pratt, Vaughan R. 1 Reif, John H. 1 Reingold, Edward Martin 1 Sadri, Fereidoon 1 Savage, John E. 1 Schnorr, Claus Peter 1 Seiferas, Joel I. 1 Simon, Janos 1 Spirakis, Paul G. 1 Srebrny, Marian 1 Stapp, Lucjan 1 Storer, James A. 1 Strong, H. Raymond 1 Supowit, Kenneth J. 1 Tarjan, Robert Endre 1 Tarlecki, Andrzej 1 Tompa, Martin 1 Toueg, Sam 1 Ukkonen, Esko 1 Ullman, Jeffrey David 1 Van Leeuwen, Jan 1 Yao, Frances F. 1 Yap, Chee-Keng all top 5 Serials 8 Annales Societatis Mathematicae Polonae. Series IV 2 Fundamenta Informaticae 2 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 1 SIAM Journal on Computing 1 Seminarbericht, Humboldt-Universität zu Berlin, Sektion Mathematik 1 Banach Center Publications 1 Lecture Notes in Computer Science Fields 30 Computer science (68-XX) 18 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 16 Publications have been cited 71 times in 56 Documents Cited by ▼ Year ▼ An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 13 1977 Algorithmic logic. Zbl 0648.03018Mirkowska, G.; Salwicki, A. 9 1987 Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010Mirkowska, Grazyna 9 1977 Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036Mirkowska, Grazyna 7 1977 On formalized systems of algorithmic logic. Zbl 0222.02010Mirkowska, G. 7 1971 Algorithmic logic with nondeterministic programs. Zbl 0439.68024Mirkowska, Grazyna 6 1980 PAL - Propositional algorithmic logic. Zbl 0494.68030Mirkowska, Grazyna 5 1981 Model existence theorem in algorithmic logic with non-deterministic programs. Zbl 0439.68025Mirkowska, Grazyna 4 1980 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 PAL - propositional algorithmic logic. Zbl 0487.03012Mirkowska, Grazyna 2 1981 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 An elimination of iteration quantifiers in a certain class of algorithmic formulas. Zbl 0386.68043Mirkowska, Grazyna; Orlowska, Ewa 1 1978 Algorithmic logic can express progressive behavior of programs. Zbl 0601.03007Mirkowska, G.; Stapp, L. 1 1986 Algorithmic logic with nondeterministic programs. Zbl 0494.68031Mirkowska, G. 1 1981 On the propositional algorithmic logic. Zbl 0438.68002Mirkowska, Grazyna 1 1979 Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar 1 2008 Algorithmic logic + SpecVer = the methodology for high integrity programming – invited paper. Zbl 1159.68360Mirkowska, Grażyna; Salwicki, Andrzej; Świda, Oskar 1 2008 Algorithmic logic. Zbl 0648.03018Mirkowska, G.; Salwicki, A. 9 1987 Algorithmic logic can express progressive behavior of programs. Zbl 0601.03007Mirkowska, G.; Stapp, L. 1 1986 PAL - Propositional algorithmic logic. Zbl 0494.68030Mirkowska, Grazyna 5 1981 The deducibility problem in propositional dynamic logic. Zbl 0469.68041Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 PAL - propositional algorithmic logic. Zbl 0487.03012Mirkowska, Grazyna 2 1981 The deducibility problem in propositional dynamic logic. Zbl 0466.68024Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna 2 1981 Algorithmic logic with nondeterministic programs. Zbl 0494.68031Mirkowska, G. 1 1981 Algorithmic logic with nondeterministic programs. Zbl 0439.68024Mirkowska, Grazyna 6 1980 Model existence theorem in algorithmic logic with non-deterministic programs. Zbl 0439.68025Mirkowska, Grazyna 4 1980 On the propositional algorithmic logic. Zbl 0438.68002Mirkowska, Grazyna 1 1979 An elimination of iteration quantifiers in a certain class of algorithmic formulas. Zbl 0386.68043Mirkowska, Grazyna; Orlowska, Ewa 1 1978 An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. Zbl 0358.68035Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A. 13 1977 Algorithmic logic and its applications in the theory of programs. II. Zbl 0384.68010Mirkowska, Grazyna 9 1977 Algorithmic logic and its applications in the theory of programs. I. Zbl 0358.68036Mirkowska, Grazyna 7 1977 On formalized systems of algorithmic logic. Zbl 0222.02010Mirkowska, G. 7 1971 all cited Publications top 5 cited Publications all top 5 Cited by 68 Authors 3 Harel, David 3 Kozen, Dexter C. 3 Orłowska, Ewa S. 3 Rodríguez-Artalejo, Mario 3 Szałas, Andrzej 2 Benevides, Mario R. F. 2 Bergstra, Jan A. 2 Demri, Stéphane P. 2 Haeusler, Edward Hermann 2 Hortala-Gonzalez, Maria Teresa 2 Lopes, Bruno Domeniciano 2 Parikh, Rohit 2 Pliuškevičius, Regimantas 2 Rasiowa, Helena 2 Wasilewska, Anita 1 Apt, Krzysztof Rafal 1 Back, Ralph-Johan 1 Balbiani, Philippe 1 Bancerek, Grzegorz 1 Biela, Andrzej 1 Boudou, Joseph 1 Chlebus, Bogdan Stanislaw 1 Danko, Wiktor 1 Garcia, Françoise 1 Glushkov, Viktor Mikhaĭlovich 1 Hájek, Petr 1 Halpern, Joseph Yehuda 1 Kawai, Hiroya 1 Kooi, Barteld Pieter 1 Langmaack, Hans 1 Leivant, Daniel M. 1 Lucio-Carrasco, Francisca 1 Mascari, Gianfranco 1 Meyer, John-Jules Charles 1 Murty, M. Narasimha 1 Niwiński, Damian 1 Olderog, Ernst-Rüdiger 1 Päppinghaus, Peter 1 Passy, Solomon 1 Pasztor, Ana 1 Pnueli, Amir 1 Pratt, Vaughan R. 1 Reif, John H. 1 Renardel de Lavalette, Gerard R. 1 Rewitzky, Ingrid 1 Salwicki, Andrzej 1 Schoett, Oliver 1 Skandalis, Kostas 1 Solin, Kim 1 Stavi, Jonathan 1 Sui, Yuefei 1 Tinchev, Tinko 1 Tiuryn, Jerzy 1 Tsejtlin, G. E. 1 Tucker, John V. 1 Urzyczyn, Paweł 1 Valiev, Mars K. 1 Venturini Zilli, Marisa 1 Verbrugge, Rineke 1 Walukiewicz, Igor 1 Wang, Yuan 1 Warpechowski, Marek 1 Wirsing, Martin 1 Xu, Zhaowei 1 Yoccoz, Serge 1 Yushchenko, E. L. 1 Zhang, Wenhui 1 Zucker, Jeffery I. all top 5 Cited in 22 Serials 18 Theoretical Computer Science 6 Studia Logica 3 Acta Informatica 3 Information Processing Letters 3 Journal of Computer and System Sciences 3 Information and Computation 2 The Journal of Logic and Algebraic Programming 1 Lithuanian Mathematical Journal 1 Information Sciences 1 RAIRO, Informatique Théorique 1 Cybernetics 1 Journal of Symbolic Computation 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 RAIRO. Informatique Théorique et Applications 1 Journal of Logic, Language and Information 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 Annals of Mathematics and Artificial Intelligence 1 Formalized Mathematics 1 Axioms 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 47 Mathematical logic and foundations (03-XX) 45 Computer science (68-XX) 1 History and biography (01-XX) Citations by Year