Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fm/Bancerek16,
  author       = {Grzegorz Bancerek},
  title        = {On Multiset Ordering},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {2},
  pages        = {95--106},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0008},
  doi          = {10.1515/FORMA-2016-0008},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Bancerek16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16,
  author       = {Roland Coghetto},
  title        = {Circumcenter, Circumcircle and Centroid of a Triangle},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {17--26},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0002},
  doi          = {10.1515/FORMA-2016-0002},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16a,
  author       = {Roland Coghetto},
  title        = {Altitude, Orthocenter of a Triangle and Triangulation},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {27--36},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0003},
  doi          = {10.1515/FORMA-2016-0003},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16b,
  author       = {Roland Coghetto},
  title        = {Cousin's Lemma},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {2},
  pages        = {107--119},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0009},
  doi          = {10.1515/FORMA-2016-0009},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16c,
  author       = {Roland Coghetto},
  title        = {Chebyshev Distance},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {2},
  pages        = {121--141},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0010},
  doi          = {10.1515/FORMA-2016-0010},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16d,
  author       = {Roland Coghetto},
  title        = {Double Sequences and Iterated Limits in Regular Space},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {173--186},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0014},
  doi          = {10.1515/FORMA-2016-0014},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16e,
  author       = {Roland Coghetto},
  title        = {Quasi-uniform Space},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {205--214},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0017},
  doi          = {10.1515/FORMA-2016-0017},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16f,
  author       = {Roland Coghetto},
  title        = {Uniform Space},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {215--226},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0018},
  doi          = {10.1515/FORMA-2016-0018},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16f.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto16g,
  author       = {Roland Coghetto},
  title        = {Homography in {\(\mathbb{R}\)}{\(\mathbb{P}\)}},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {239--251},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0020},
  doi          = {10.1515/FORMA-2016-0020},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto16g.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/CoghettoG16,
  author       = {Roland Coghetto and
                  Adam Grabowski},
  title        = {Tarski Geometry Axioms - Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {2},
  pages        = {157--166},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0012},
  doi          = {10.1515/FORMA-2016-0012},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/CoghettoG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Endou16,
  author       = {Noboru Endou},
  title        = {Product Pre-Measure},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {69--79},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0006},
  doi          = {10.1515/FORMA-2016-0006},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Endou16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/FutaS16,
  author       = {Yuichi Futa and
                  Yasunari Shidama},
  title        = {Divisible {\(\mathbb{Z}\)}-modules},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {37--47},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0004},
  doi          = {10.1515/FORMA-2016-0004},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/FutaS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/FutaS16a,
  author       = {Yuichi Futa and
                  Yasunari Shidama},
  title        = {Lattice of {\(\mathbb{Z}\)}-module},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {49--68},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0005},
  doi          = {10.1515/FORMA-2016-0005},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/FutaS16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Giero16,
  author       = {Mariusz Giero},
  title        = {The Axiomatization of Propositional Logic},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {281--290},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0024},
  doi          = {10.1515/FORMA-2016-0024},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Giero16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Grabowski16,
  author       = {Adam Grabowski},
  title        = {Binary Relations-based Rough Sets - an Automated Approach},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {2},
  pages        = {143--155},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0011},
  doi          = {10.1515/FORMA-2016-0011},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Grabowski16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Jaeger16,
  author       = {Peter Jaeger},
  title        = {Modelling Real World Using Stochastic Processes and Filtration},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {1--16},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0001},
  doi          = {10.1515/FORMA-2016-0001},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Jaeger16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/KornilowiczN16,
  author       = {Artur Kornilowicz and
                  Adam Naumowicz},
  title        = {Niven's Theorem},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {301--308},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0026},
  doi          = {10.1515/FORMA-2016-0026},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/KornilowiczN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoNS16,
  author       = {Kazuhisa Nakasho and
                  Keiko Narita and
                  Yasunari Shidama},
  title        = {Compactness in Metric Spaces},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {167--172},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0013},
  doi          = {10.1515/FORMA-2016-0013},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoNS16a,
  author       = {Kazuhisa Nakasho and
                  Keiko Narita and
                  Yasunari Shidama},
  title        = {The Basic Existence Theorem of Riemann-Stieltjes Integral},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {253--259},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0021},
  doi          = {10.1515/FORMA-2016-0021},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoNS16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoYOS16,
  author       = {Kazuhisa Nakasho and
                  Hiroshi Yamazaki and
                  Hiroyuki Okazaki and
                  Yasunari Shidama},
  title        = {Conservation Rules of Direct Sum Decomposition of Groups},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {1},
  pages        = {81--94},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0007},
  doi          = {10.1515/FORMA-2016-0007},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoYOS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NaritaNS16,
  author       = {Keiko Narita and
                  Kazuhisa Nakasho and
                  Yasunari Shidama},
  title        = {Riemann-Stieltjes Integral},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {199--204},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0016},
  doi          = {10.1515/FORMA-2016-0016},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NaritaNS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak16,
  author       = {Karol Pak},
  title        = {Leibniz Series for {\(\pi\)}},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {275--280},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0023},
  doi          = {10.1515/FORMA-2016-0023},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SchwarzwellerK16,
  author       = {Christoph Schwarzweller and
                  Artur Kornilowicz},
  title        = {Some Algebraic Properties of Polynomial Rings},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {227--237},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0019},
  doi          = {10.1515/FORMA-2016-0019},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/SchwarzwellerK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Watase16,
  author       = {Yasushige Watase},
  title        = {Algebraic Numbers},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {291--299},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0025},
  doi          = {10.1515/FORMA-2016-0025},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Watase16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ziobro16,
  author       = {Rafal Ziobro},
  title        = {Prime Factorization of Sums and Differences of Two Like Powers},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {3},
  pages        = {187--198},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0015},
  doi          = {10.1515/FORMA-2016-0015},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ziobro16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ziobro16a,
  author       = {Rafal Ziobro},
  title        = {On Subnomials},
  journal      = {Formaliz. Math.},
  volume       = {24},
  number       = {4},
  pages        = {261--273},
  year         = {2016},
  url          = {https://doi.org/10.1515/forma-2016-0022},
  doi          = {10.1515/FORMA-2016-0022},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ziobro16a.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.