Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fm/Coghetto15,
  author       = {Roland Coghetto},
  title        = {Morley's Trisector Theorem},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {75--79},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0007},
  doi          = {10.1515/FORMA-2015-0007},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto15a,
  author       = {Roland Coghetto},
  title        = {Finite Product of Semiring of Sets},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {107--114},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0011},
  doi          = {10.1515/FORMA-2015-0011},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto15b,
  author       = {Roland Coghetto},
  title        = {Groups - Additive Notation},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {127--160},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0013},
  doi          = {10.1515/FORMA-2015-0013},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto15c,
  author       = {Roland Coghetto},
  title        = {Convergent Filter Bases},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {189--203},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0016},
  doi          = {10.1515/FORMA-2015-0016},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto15d,
  author       = {Roland Coghetto},
  title        = {Summable Family in a Commutative Group},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {279--288},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0022},
  doi          = {10.1515/FORMA-2015-0022},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Coghetto15e,
  author       = {Roland Coghetto},
  title        = {Topology from Neighbourhoods},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {289--296},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0023},
  doi          = {10.1515/FORMA-2015-0023},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Coghetto15e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Endou15,
  author       = {Noboru Endou},
  title        = {Extended Real-Valued Double Sequence and Its Convergence},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {253--277},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0021},
  doi          = {10.1515/FORMA-2015-0021},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Endou15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Endou15a,
  author       = {Noboru Endou},
  title        = {Construction of Measure from Semialgebra of Sets1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {309--323},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0025},
  doi          = {10.1515/FORMA-2015-0025},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Endou15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/EndouNS15,
  author       = {Noboru Endou and
                  Kazuhisa Nakasho and
                  Yasunari Shidama},
  title        = {{\(\sigma\)}-ring and {\(\sigma\)}-algebra of Sets1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {51--57},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0004},
  doi          = {10.2478/FORMA-2015-0004},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/EndouNS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/FutaOS15,
  author       = {Yuichi Futa and
                  Hiroyuki Okazaki and
                  Yasunari Shidama},
  title        = {Matrix of {\(\mathbb{Z}\)}-module1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {29--49},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0003},
  doi          = {10.2478/FORMA-2015-0003},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/FutaOS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/FutaOS15a,
  author       = {Yuichi Futa and
                  Hiroyuki Okazaki and
                  Yasunari Shidama},
  title        = {Torsion Part of {\(\mathbb{Z}\)}-module},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {297--307},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0024},
  doi          = {10.1515/FORMA-2015-0024},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/FutaOS15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Giero15,
  author       = {Mariusz Giero},
  title        = {Propositional Linear Temporal Logic with Initial Validity Semantics1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {379--386},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0030},
  doi          = {10.1515/FORMA-2015-0030},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Giero15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Grabowski15,
  author       = {Adam Grabowski},
  title        = {Two Axiomatizations of Nelson Algebras},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {115--125},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0012},
  doi          = {10.1515/FORMA-2015-0012},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Grabowski15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Grabowski15a,
  author       = {Adam Grabowski},
  title        = {Stone Lattices},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {387--396},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0031},
  doi          = {10.1515/FORMA-2015-0031},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Grabowski15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Huuskonen15,
  author       = {Taneli Huuskonen},
  title        = {Polish Notation},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {161--176},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0014},
  doi          = {10.1515/FORMA-2015-0014},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Huuskonen15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Huuskonen15a,
  author       = {Taneli Huuskonen},
  title        = {Grzegorczyk's Logics. Part {I}},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {177--187},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0015},
  doi          = {10.1515/FORMA-2015-0015},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Huuskonen15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IvanovNA15,
  author       = {Ievgen Ivanov and
                  Mykola S. Nikitchenko and
                  Uri Abraham},
  title        = {Event-Based Proof of the Mutual Exclusion Property of Peterson's Algorithm},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {325--331},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0026},
  doi          = {10.1515/FORMA-2015-0026},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/IvanovNA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoE15,
  author       = {Kazuhisa Nakasho and
                  Noboru Endou},
  title        = {Separability of Real Normed Spaces and Its Basic Properties},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {59--65},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0005},
  doi          = {10.2478/FORMA-2015-0005},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoOYS15,
  author       = {Kazuhisa Nakasho and
                  Hiroyuki Okazaki and
                  Hiroshi Yamazaki and
                  Yasunari Shidama},
  title        = {Equivalent Expressions of Direct Sum Decomposition of Groups1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {67--73},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0006},
  doi          = {10.2478/FORMA-2015-0006},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoOYS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakashoYOS15,
  author       = {Kazuhisa Nakasho and
                  Hiroshi Yamazaki and
                  Hiroyuki Okazaki and
                  Yasunari Shidama},
  title        = {Definition and Properties of Direct Sum Decomposition of Groups1},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {15--27},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0002},
  doi          = {10.2478/FORMA-2015-0002},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NakashoYOS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NaritaES15,
  author       = {Keiko Narita and
                  Noboru Endou and
                  Yasunari Shidama},
  title        = {The Orthogonal Projection and the Riesz Representation Theorem},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {243--252},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0020},
  doi          = {10.1515/FORMA-2015-0020},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NaritaES15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NaritaSE15,
  author       = {Keiko Narita and
                  Yasunari Shidama and
                  Noboru Endou},
  title        = {Weak Convergence and Weak Convergence},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {231--241},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0019},
  doi          = {10.1515/FORMA-2015-0019},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NaritaSE15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Okazaki15,
  author       = {Hiroyuki Okazaki},
  title        = {Algebra of Polynomially Bounded Sequences and Negligible Functions},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {371--378},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0029},
  doi          = {10.1515/FORMA-2015-0029},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Okazaki15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/OkazakiF15,
  author       = {Hiroyuki Okazaki and
                  Yuichi Futa},
  title        = {Polynomially Bounded Sequences and Polynomial Sequences},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {205--213},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0017},
  doi          = {10.1515/FORMA-2015-0017},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/OkazakiF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak15,
  author       = {Karol Pak},
  title        = {Flexary Operations},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {81--92},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0008},
  doi          = {10.1515/FORMA-2015-0008},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Pak15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak15a,
  author       = {Karol Pak},
  title        = {Euler's Partition Theorem},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {93--99},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0009},
  doi          = {10.1515/FORMA-2015-0009},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Pak15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Riccardi15,
  author       = {Marco Riccardi},
  title        = {Categorical Pullbacks},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {1},
  pages        = {1--14},
  year         = {2015},
  url          = {https://doi.org/10.2478/forma-2015-0001},
  doi          = {10.2478/FORMA-2015-0001},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Riccardi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Riccardi15a,
  author       = {Marco Riccardi},
  title        = {Exponential Objects},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {351--369},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0028},
  doi          = {10.1515/FORMA-2015-0028},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Riccardi15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SchwarzwellerK15,
  author       = {Christoph Schwarzweller and
                  Artur Kornilowicz},
  title        = {Characteristic of Rings. Prime Fields},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {4},
  pages        = {333--349},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0027},
  doi          = {10.1515/FORMA-2015-0027},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/SchwarzwellerK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Watase15,
  author       = {Yasushige Watase},
  title        = {Introduction to Diophantine Approximation},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {2},
  pages        = {101--106},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0010},
  doi          = {10.1515/FORMA-2015-0010},
  timestamp    = {Fri, 10 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Watase15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ziobro15,
  author       = {Rafal Ziobro},
  title        = {Fermat's Little Theorem via Divisibility of Newton's Binomial},
  journal      = {Formaliz. Math.},
  volume       = {23},
  number       = {3},
  pages        = {215--229},
  year         = {2015},
  url          = {https://doi.org/10.1515/forma-2015-0018},
  doi          = {10.1515/FORMA-2015-0018},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/Ziobro15.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.