BibTeX records: Grazyna Mirkowska

download as .bib file

@article{DBLP:journals/corr/abs-2310-13035,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  title        = {Collatz conjecture becomes theorem},
  journal      = {CoRR},
  volume       = {abs/2310.13035},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.13035},
  doi          = {10.48550/ARXIV.2310.13035},
  eprinttype    = {arXiv},
  eprint       = {2310.13035},
  timestamp    = {Tue, 31 Oct 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-13035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MirkowskaSS09,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki and
                  Oskar Swida},
  title        = {Verifying a Class: combining Testing and Proving},
  journal      = {Fundam. Informaticae},
  volume       = {95},
  number       = {2-3},
  pages        = {305--324},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-152},
  doi          = {10.3233/FI-2009-152},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MirkowskaSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MirkowskaSS08,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki and
                  Oskar Swida},
  title        = {Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming
                  - Invited Paper},
  journal      = {Fundam. Informaticae},
  volume       = {85},
  number       = {1-4},
  pages        = {1--17},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi85-1-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MirkowskaSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/siamcomp/MirkowskaSST00,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki and
                  Marian Srebrny and
                  Andrzej Tarlecki},
  title        = {First-Order Specifications of Programmable Data Types},
  journal      = {{SIAM} J. Comput.},
  volume       = {30},
  number       = {6},
  pages        = {2084--2096},
  year         = {2000},
  url          = {https://doi.org/10.1137/S0097539797322528},
  doi          = {10.1137/S0097539797322528},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/MirkowskaSST00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MirkowskaS96,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  title        = {The Algebraic Specifications do not Have the Tennenbaum Property},
  journal      = {Fundam. Informaticae},
  volume       = {28},
  number       = {1-2},
  pages        = {141--152},
  year         = {1996},
  url          = {https://doi.org/10.3233/FI-1996-281209},
  doi          = {10.3233/FI-1996-281209},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MirkowskaS96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mfcs/1989,
  editor       = {Antoni Kreczmar and
                  Grazyna Mirkowska},
  title        = {Mathematical Foundations of Computer Science 1989, MFCS'89, Porabka-Kozubnik,
                  Poland, August 28 - September 1, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {379},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51486-4},
  doi          = {10.1007/3-540-51486-4},
  isbn         = {3-540-51486-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifip2/MirkowskaS87,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  editor       = {Martin Wirsing},
  title        = {Axiomatic definability of programming language semantics},
  booktitle    = {Formal Description of Programming Concepts - {III:} Proceedings of
                  the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
                  of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
  pages        = {3--22},
  publisher    = {North-Holland},
  year         = {1987},
  timestamp    = {Thu, 10 Jan 2019 14:37:08 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip2/MirkowskaS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/MirkowskaS86,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  editor       = {Marisa Venturini Zilli},
  title        = {On Axiomatic Definition of Max-Model of Concurrency},
  booktitle    = {Mathematical Models for the Semantics of Parallelism, Advanced School,
                  Rome, Italy, September 24 - October 1, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {280},
  pages        = {199--230},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/3-540-18419-8\_16},
  doi          = {10.1007/3-540-18419-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/MirkowskaS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/caap/MirkowskaS86,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  editor       = {Paul Franchi{-}Zannettacci},
  title        = {On Applications of Algorithmic Logic},
  booktitle    = {{CAAP} '86, 11th Colloquium on Trees in Algebra and Programming, Nice,
                  France, March 24-26, 1986, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {214},
  pages        = {288--306},
  publisher    = {Springer},
  year         = {1986},
  url          = {https://doi.org/10.1007/BFb0022675},
  doi          = {10.1007/BFB0022675},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/caap/MirkowskaS86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mirkowska81,
  author       = {Grazyna Mirkowska},
  title        = {{PAL} - propositional algorithmic logic},
  journal      = {Fundam. Informaticae},
  volume       = {4},
  number       = {3},
  pages        = {675},
  year         = {1981},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mirkowska81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icalp/MeyerSM81,
  author       = {Albert R. Meyer and
                  Robert S. Streett and
                  Grazyna Mirkowska},
  editor       = {Shimon Even and
                  Oded Kariv},
  title        = {The Deducibility Problem in Propositional Dynamic Logic},
  booktitle    = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko),
                  Israel, July 13-17, 1981, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {115},
  pages        = {238--248},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/3-540-10843-2\_20},
  doi          = {10.1007/3-540-10843-2\_20},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/MeyerSM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Mirkowska81,
  author       = {Grazyna Mirkowska},
  editor       = {Dexter Kozen},
  title        = {The Representation Theorem for Algorithmic Algebras},
  booktitle    = {Logics of Programs, Workshop, Yorktown Heights, New York, USA, May
                  1981},
  series       = {Lecture Notes in Computer Science},
  volume       = {131},
  pages        = {300--310},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/BFb0025788},
  doi          = {10.1007/BFB0025788},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Mirkowska81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mirkowska80,
  author       = {Grazyna Mirkowska},
  title        = {Algorithmic logic with nondeterministic programs},
  journal      = {Fundam. Informaticae},
  volume       = {3},
  number       = {1},
  pages        = {45--64},
  year         = {1980},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mirkowska80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mirkowska80a,
  author       = {Grazyna Mirkowska},
  title        = {Model existence theorems in algorithmic logic with non-deterministic
                  programs},
  journal      = {Fundam. Informaticae},
  volume       = {3},
  number       = {2},
  pages        = {157--170},
  year         = {1980},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mirkowska80a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Mirkowska80,
  author       = {Grazyna Mirkowska},
  editor       = {Andrzej Salwicki},
  title        = {On the propositional algorithmic theory of arithmetic},
  booktitle    = {Logics of Programs and Their Applications, Proceedings, Poznan, Poland,
                  August 23-29, 1980},
  series       = {Lecture Notes in Computer Science},
  volume       = {148},
  pages        = {166--185},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-11981-7\_12},
  doi          = {10.1007/3-540-11981-7\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Mirkowska80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/stoc/Mirkowska80,
  author       = {Grazyna Mirkowska},
  editor       = {Raymond E. Miller and
                  Seymour Ginsburg and
                  Walter A. Burkhard and
                  Richard J. Lipton},
  title        = {Complete Axiomatization of Algorithmic Properties of Program Schemes
                  with Bounded Nondeterministic Interpretations},
  booktitle    = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing,
                  April 28-30, 1980, Los Angeles, California, {USA}},
  pages        = {14--21},
  publisher    = {{ACM}},
  year         = {1980},
  url          = {https://doi.org/10.1145/800141.804648},
  doi          = {10.1145/800141.804648},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Mirkowska80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/MeyerSM79,
  author       = {Albert R. Meyer and
                  Robert S. Streett and
                  Grazyna Mirkowska},
  editor       = {Erwin Engeler},
  title        = {The Deducibility Problem in Propositional Dynamic Logic},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {12--22},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_2},
  doi          = {10.1007/3-540-11160-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/MeyerSM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lop/Mirkowska79,
  author       = {Grazyna Mirkowska},
  editor       = {Erwin Engeler},
  title        = {{PAL} - Propositional Algorithmic Logic},
  booktitle    = {Logics of Programs, Workshop, {ETH} Z{\"{u}}rich, May-July 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {125},
  pages        = {23--101},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-11160-3\_3},
  doi          = {10.1007/3-540-11160-3\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lop/Mirkowska79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/Mirkowska79,
  author       = {Grazyna Mirkowska},
  editor       = {Jir{\'{\i}} Becv{\'{a}}r},
  title        = {On the Propositional Algorithmic Logic},
  booktitle    = {Mathematical Foundations of Computer Science 1979, Proceedings, 8th
                  Symposium, Olomouc, Czechoslovakia, September 3-7, 1979},
  series       = {Lecture Notes in Computer Science},
  volume       = {74},
  pages        = {381--389},
  publisher    = {Springer},
  year         = {1979},
  url          = {https://doi.org/10.1007/3-540-09526-8\_37},
  doi          = {10.1007/3-540-09526-8\_37},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Mirkowska79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/MirkowskaS76,
  author       = {Grazyna Mirkowska and
                  Andrzej Salwicki},
  editor       = {Antoni W. Mazurkiewicz},
  title        = {A Complete Axiomatic Characterization of Algorithmic Properties of
                  Block-Structured Programs with Procedures},
  booktitle    = {Mathematical Foundations of Computer Science 1976, 5th Symposium,
                  Gdansk, Poland, September 6-10, 1976, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {45},
  pages        = {602--606},
  publisher    = {Springer},
  year         = {1976},
  url          = {https://doi.org/10.1007/3-540-07854-1\_234},
  doi          = {10.1007/3-540-07854-1\_234},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/MirkowskaS76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.