Search dblp for Publications

export results for "toc:db/journals/fm/fm26.bht:"

 download as .bib file

@article{DBLP:journals/fm/AcewiczP18,
  author       = {Marcin Acewicz and
                  Karol Pak},
  title        = {Basic Diophantine Relations},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {175--181},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0015},
  doi          = {10.2478/FORMA-2018-0015},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/AcewiczP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto18,
  author       = {Roland Coghetto},
  title        = {Klein-Beltrami Model. Part {I}},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {21--32},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0003},
  doi          = {10.2478/FORMA-2018-0003},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto18a,
  author       = {Roland Coghetto},
  title        = {Klein-Beltrami Model. Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {33--48},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0004},
  doi          = {10.2478/FORMA-2018-0004},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto18b,
  author       = {Roland Coghetto},
  title        = {Pythagorean Tuning: Pentatonic and Heptatonic Scale},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {4},
  pages        = {239--269},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0022},
  doi          = {10.2478/FORMA-2018-0022},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Endou18,
  author       = {Noboru Endou},
  title        = {Fubini's Theorem for Non-Negative or Non-Positive Functions},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {49--67},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0005},
  doi          = {10.2478/FORMA-2018-0005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Endou18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Grabowski18,
  author       = {Adam Grabowski},
  title        = {Sequences of Prime Reciprocals. Preliminaries},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {69--79},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0006},
  doi          = {10.2478/FORMA-2018-0006},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Grabowski18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Grabowski18a,
  author       = {Adam Grabowski},
  title        = {Fundamental Properties of Fuzzy Implications},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {4},
  pages        = {271--276},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0023},
  doi          = {10.2478/FORMA-2018-0023},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Grabowski18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/GrabowskiS18,
  author       = {Adam Grabowski and
                  Michal Sielwiesiuk},
  title        = {Formalizing Two Generalized Approximation Operators},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {183--191},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0016},
  doi          = {10.2478/FORMA-2018-0016},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/GrabowskiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/GrabowskiS18a,
  author       = {Adam Grabowski and
                  Damian Sawicki},
  title        = {On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {193--198},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0017},
  doi          = {10.2478/FORMA-2018-0017},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/GrabowskiS18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IvanovKN18,
  author       = {Ievgen Ivanov and
                  Artur Kornilowicz and
                  Mykola S. Nikitchenko},
  title        = {On Algebras of Algorithms and Specifications over Uninterpreted Data},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {141--147},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0011},
  doi          = {10.2478/FORMA-2018-0011},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/IvanovKN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IvanovKN18a,
  author       = {Ievgen Ivanov and
                  Artur Kornilowicz and
                  Mykola S. Nikitchenko},
  title        = {On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative
                  Data},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {149--158},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0012},
  doi          = {10.2478/FORMA-2018-0012},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/IvanovKN18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IvanovKN18b,
  author       = {Ievgen Ivanov and
                  Artur Kornilowicz and
                  Mykola S. Nikitchenko},
  title        = {An Inference System of an Extension of Floyd-Hoare Logic for Partial
                  Predicates},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {159--164},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0013},
  doi          = {10.2478/FORMA-2018-0013},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/IvanovKN18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IvanovKN18c,
  author       = {Ievgen Ivanov and
                  Artur Kornilowicz and
                  Mykola S. Nikitchenko},
  title        = {Partial Correctness of {GCD} Algorithm},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {165--173},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0014},
  doi          = {10.2478/FORMA-2018-0014},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/IvanovKN18c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Jaeger18,
  author       = {Peter Jaeger},
  title        = {Introduction to Stochastic Finance: Random Variables and Arbitrage
                  Theory},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {1--9},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0001},
  doi          = {10.2478/FORMA-2018-0001},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Jaeger18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Koch18,
  author       = {Sebastian Koch},
  title        = {About Supergraphs. Part {I}},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {101--124},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0009},
  doi          = {10.2478/FORMA-2018-0009},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Koch18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Koch18a,
  author       = {Sebastian Koch},
  title        = {About Supergraphs. Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {125--140},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0010},
  doi          = {10.2478/FORMA-2018-0010},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Koch18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Koch18b,
  author       = {Sebastian Koch},
  title        = {Some Remarks about Product Spaces},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {3},
  pages        = {209--222},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0019},
  doi          = {10.2478/FORMA-2018-0019},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Koch18b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/KornilowiczIN18,
  author       = {Artur Kornilowicz and
                  Ievgen Ivanov and
                  Mykola S. Nikitchenko},
  title        = {Kleene Algebra of Partial Predicates},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {11--20},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0002},
  doi          = {10.2478/FORMA-2018-0002},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/KornilowiczIN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoFS18,
  author       = {Kazuhisa Nakasho and
                  Yuichi Futa and
                  Yasunari Shidama},
  title        = {Continuity of Bounded Linear Operators on Normed Linear Spaces},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {3},
  pages        = {231--237},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0021},
  doi          = {10.2478/FORMA-2018-0021},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoFS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Okazaki18,
  author       = {Hiroyuki Okazaki},
  title        = {Binary Representation of Natural Numbers},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {3},
  pages        = {223--229},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0020},
  doi          = {10.2478/FORMA-2018-0020},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Okazaki18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak18,
  author       = {Karol Pak},
  title        = {Diophantine sets. Preliminaries},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {1},
  pages        = {81--90},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0007},
  doi          = {10.2478/FORMA-2018-0007},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Watase18,
  author       = {Yasushige Watase},
  title        = {Zariski Topology},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {4},
  pages        = {277--283},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0024},
  doi          = {10.2478/FORMA-2018-0024},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Watase18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ziobro18,
  author       = {Rafal Ziobro},
  title        = {Parity as a Property of Integers},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {2},
  pages        = {91--100},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0008},
  doi          = {10.2478/FORMA-2018-0008},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ziobro18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ziobro18a,
  author       = {Rafal Ziobro},
  title        = {Arithmetic Operations on Short Finite Sequences},
  journal      = {Formaliz. Math.},
  volume       = {26},
  number       = {3},
  pages        = {199--208},
  year         = {2018},
  url          = {https://doi.org/10.2478/forma-2018-0018},
  doi          = {10.2478/FORMA-2018-0018},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ziobro18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.