Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fm/Alama08,
  author       = {Jesse Alama},
  title        = {The Vector Space of Subsets of a Set Based on Symmetric Difference},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {1--5},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0001-7},
  doi          = {10.2478/V10037-008-0001-7},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Alama08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Alama08a,
  author       = {Jesse Alama},
  title        = {Euler's Polyhedron Formula},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {7--17},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0002-6},
  doi          = {10.2478/V10037-008-0002-6},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Alama08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Bancerek08,
  author       = {Grzegorz Bancerek},
  title        = {Mizar Analysis of Algorithms: Algorithms over Integers},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {177--194},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0024-0},
  doi          = {10.2478/V10037-008-0024-0},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Bancerek08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Bancerek08a,
  author       = {Grzegorz Bancerek},
  title        = {Towards the Construction of a Model of Mizar Concepts},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {207--230},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0027-x},
  doi          = {10.2478/V10037-008-0027-X},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Bancerek08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/BancerekS08,
  author       = {Grzegorz Bancerek and
                  Yasunari Shidama},
  title        = {Introduction to Matroids},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {325--332},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0040-0},
  doi          = {10.2478/V10037-008-0040-0},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/BancerekS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/DingGW08,
  author       = {Yuzhong Ding and
                  Fuguo Ge and
                  Chenglong Wu},
  title        = {BCI-homomorphisms},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {371--376},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0045-8},
  doi          = {10.2478/V10037-008-0045-8},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/DingGW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/EndouNS08,
  author       = {Noboru Endou and
                  Keiko Narita and
                  Yasunari Shidama},
  title        = {The Lebesgue Monotone Convergence Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {167--175},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0023-1},
  doi          = {10.2478/V10037-008-0023-1},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/EndouNS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/EndouNS08a,
  author       = {Noboru Endou and
                  Keiko Narita and
                  Yasunari Shidama},
  title        = {Fatou's Lemma and the Lebesgue's Convergence Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {305--309},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0037-8},
  doi          = {10.2478/V10037-008-0037-8},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/EndouNS08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/EndouSN08,
  author       = {Noboru Endou and
                  Yasunari Shidama and
                  Keiko Narita},
  title        = {Egoroff's Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {57--63},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0009-z},
  doi          = {10.2478/V10037-008-0009-Z},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/EndouSN08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/EnrightR08,
  author       = {Jessica A. Enright and
                  Piotr Rudnicki},
  title        = {Helly Property for Subtrees},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {91--96},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0013-3},
  doi          = {10.2478/V10037-008-0013-3},
  timestamp    = {Tue, 03 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/EnrightR08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ge08,
  author       = {Fuguo Ge},
  title        = {Inner Products, Group, Ring of Quaternion Numbers},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {135--139},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0019-x},
  doi          = {10.2478/V10037-008-0019-X},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ge08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/GeX08,
  author       = {Fuguo Ge and
                  Bing Xie},
  title        = {Several Differentiation Formulas of Special Functions. Part {VII}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {389--399},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0047-6},
  doi          = {10.2478/V10037-008-0047-6},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/GeX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Ishida08,
  author       = {Kazuhisa Ishida},
  title        = {Model Checking. Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {231--245},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0028-9},
  doi          = {10.2478/V10037-008-0028-9},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Ishida08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/IshidaS08,
  author       = {Kazuhisa Ishida and
                  Yasunari Shidama},
  title        = {Model Checking. Part {III}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {339--353},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0042-y},
  doi          = {10.2478/V10037-008-0042-Y},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/IshidaS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/LiZL08,
  author       = {Bo Li and
                  Yanping Zhuang and
                  Xiquan Liang},
  title        = {Difference and Difference Quotient. Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {45--49},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0007-1},
  doi          = {10.2478/V10037-008-0007-1},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/LiZL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/LiangX08,
  author       = {Xiquan Liang and
                  Bing Xie},
  title        = {Inverse Trigonometric Functions Arctan and Arccot},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {147--158},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0021-3},
  doi          = {10.2478/V10037-008-0021-3},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/LiangX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/MadraG08,
  author       = {Elzbieta Madra and
                  Adam Grabowski},
  title        = {Orthomodular Lattices},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {277--282},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0033-z},
  doi          = {10.2478/V10037-008-0033-Z},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/MadraG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/MatsuzakiES08,
  author       = {Hidenori Matsuzaki and
                  Noboru Endou and
                  Yasunari Shidama},
  title        = {Convex Sets and Convex Combinations on Complex Linear Spaces},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {123--133},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0018-y},
  doi          = {10.2478/V10037-008-0018-Y},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/MatsuzakiES08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakamuraI08,
  author       = {Yatsuka Nakamura and
                  Hisashi Ito},
  title        = {Basic Properties and Concept of Selected Subsequence of Zero Based
                  Finite Sequences},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {283--288},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0034-y},
  doi          = {10.2478/V10037-008-0034-Y},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakamuraI08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NakamuraOC08,
  author       = {Yatsuka Nakamura and
                  Kunio Oniumi and
                  Wenpai Chang},
  title        = {Invertibility of Matrices of Field Elements},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {195--202},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0025-z},
  doi          = {10.2478/V10037-008-0025-Z},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/NakamuraOC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NaritaES08,
  author       = {Keiko Narita and
                  Noboru Endou and
                  Yasunari Shidama},
  title        = {The First Mean Value Theorem for Integrals},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {51--55},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0008-0},
  doi          = {10.2478/V10037-008-0008-0},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NaritaES08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/NaritaES08a,
  author       = {Keiko Narita and
                  Noboru Endou and
                  Yasunari Shidama},
  title        = {Integral of Complex-Valued Measurable Function},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {319--324},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0039-6},
  doi          = {10.2478/V10037-008-0039-6},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/NaritaES08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/OkazakiS08,
  author       = {Hiroyuki Okazaki and
                  Yasunari Shidama},
  title        = {Uniqueness of Factoring an Integer and Multiplicative Group Z/pZ*},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {103--107},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0015-1},
  doi          = {10.2478/V10037-008-0015-1},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/OkazakiS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08,
  author       = {Karol Pak},
  title        = {Complete Spaces},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {35--43},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0006-2},
  doi          = {10.2478/V10037-008-0006-2},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08a,
  author       = {Karol Pak},
  title        = {Solutions of Linear Equations},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {81--90},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0012-4},
  doi          = {10.2478/V10037-008-0012-4},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08b,
  author       = {Karol Pak},
  title        = {Block Diagonal Matrices},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {259--267},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0031-1},
  doi          = {10.2478/V10037-008-0031-1},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08c,
  author       = {Karol Pak},
  title        = {Linear Map of Matrices},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {269--275},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0032-0},
  doi          = {10.2478/V10037-008-0032-0},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08d,
  author       = {Karol Pak},
  title        = {Eigenvalues of a Linear Transformation},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {289--295},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0035-x},
  doi          = {10.2478/V10037-008-0035-X},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08d.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Pak08e,
  author       = {Karol Pak},
  title        = {Jordan Matrix Decomposition},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {297--303},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0036-9},
  doi          = {10.2478/V10037-008-0036-9},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Pak08e.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Riccardi08,
  author       = {Marco Riccardi},
  title        = {Heron's Formula and Ptolemy's Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {97--101},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0014-2},
  doi          = {10.2478/V10037-008-0014-2},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Riccardi08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Riccardi08a,
  author       = {Marco Riccardi},
  title        = {Ramsey's Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {203--205},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0026-y},
  doi          = {10.2478/V10037-008-0026-Y},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Riccardi08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SakuraiKS08,
  author       = {Hideki Sakurai and
                  Hisayoshi Kunimune and
                  Yasunari Shidama},
  title        = {Uniform Boundedness Principle},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {19--21},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0003-5},
  doi          = {10.2478/V10037-008-0003-5},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/SakuraiKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SakuraiKS08a,
  author       = {Hideki Sakurai and
                  Hisayoshi Kunimune and
                  Yasunari Shidama},
  title        = {Open Mapping Theorem},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {401--403},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0048-5},
  doi          = {10.2478/V10037-008-0048-5},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/SakuraiKS08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Schwarzweller08,
  author       = {Christoph Schwarzweller},
  title        = {Modular Integer Arithmetic},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {247--252},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0029-8},
  doi          = {10.2478/V10037-008-0029-8},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Schwarzweller08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/ShidamaSE08,
  author       = {Yasunari Shidama and
                  Hikofumi Suzuki and
                  Noboru Endou},
  title        = {Banach Algebra of Bounded Functionals},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {115--122},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0017-z},
  doi          = {10.2478/V10037-008-0017-Z},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/ShidamaSE08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SunPWL08,
  author       = {Tao Sun and
                  Weibo Pan and
                  Chenglong Wu and
                  Xiquan Liang},
  title        = {General Theory of Quasi-Commutative BCI-algebras},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {253--258},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0030-2},
  doi          = {10.2478/V10037-008-0030-2},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/SunPWL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/SunZL08,
  author       = {Tao Sun and
                  Junjie Zhao and
                  Xiquan Liang},
  title        = {BCI-algebras with Condition {(S)} and their Properties},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {65--71},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0010-6},
  doi          = {10.2478/V10037-008-0010-6},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/SunZL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Trybulec08,
  author       = {Michal Trybulec},
  title        = {Regular Expression Quantifiers - at least m Occurrences},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {29--33},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0005-3},
  doi          = {10.2478/V10037-008-0005-3},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Trybulec08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Wasaki08,
  author       = {Katsumi Wasaki},
  title        = {Stability of n-Bit Generalized Full Adder Circuits (GFAs). Part {II}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {73--80},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0011-5},
  doi          = {10.2478/V10037-008-0011-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Wasaki08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/Wasaki08a,
  author       = {Katsumi Wasaki},
  title        = {Stability of the 4-2 Binary Addition Circuit Cells. Part {I}},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {377--387},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0046-7},
  doi          = {10.2478/V10037-008-0046-7},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/Wasaki08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/WataseES08,
  author       = {Yasushige Watase and
                  Noboru Endou and
                  Yasunari Shidama},
  title        = {On {L1} Space Formed by Real-Valued Partial Functions},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {361--369},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0044-9},
  doi          = {10.2478/V10037-008-0044-9},
  timestamp    = {Sun, 12 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fm/WataseES08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/WuD08,
  author       = {Chenglong Wu and
                  Yuzhong Ding},
  title        = {Ideals of BCI-algebras and their Properties},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {109--114},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0016-0},
  doi          = {10.2478/V10037-008-0016-0},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/WuD08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/XieLG08,
  author       = {Bing Xie and
                  Xiquan Liang and
                  Fuguo Ge},
  title        = {Inverse Trigonometric Functions Arcsec and Arccosec},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {159--165},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0022-2},
  doi          = {10.2478/V10037-008-0022-2},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/XieLG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/XieLL08,
  author       = {Bing Xie and
                  Xiquan Liang and
                  Hongwei Li},
  title        = {Partial Differentiation of Real Binary Functions},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {333--338},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0041-z},
  doi          = {10.2478/V10037-008-0041-Z},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/XieLL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/YamazakiYS08,
  author       = {Masahiko Yamazaki and
                  Hiroshi Yamazaki and
                  Yasunari Shidama},
  title        = {Extended Riemann Integral of Functions of Real Variable and One-sided
                  Laplace Transform},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {311--317},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0038-7},
  doi          = {10.2478/V10037-008-0038-7},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/YamazakiYS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/YanLZ08,
  author       = {Li Yan and
                  Xiquan Liang and
                  Junjie Zhao},
  title        = {Gauss Lemma and Law of Quadratic Reciprocity},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {23--28},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0004-4},
  doi          = {10.2478/V10037-008-0004-4},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/YanLZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/YueL08,
  author       = {Xiaopeng Yue and
                  Xiquan Liang},
  title        = {Basic Properties of Circulant Matrices and Anti-Circular Matrices},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {355--360},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0043-x},
  doi          = {10.2478/V10037-008-0043-X},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/YueL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fm/ZhaoLY08,
  author       = {Junjie Zhao and
                  Xiquan Liang and
                  Li Yan},
  title        = {Several Higher Differentiation Formulas of Special Functions},
  journal      = {Formaliz. Math.},
  volume       = {16},
  number       = {1-4},
  pages        = {141--145},
  year         = {2008},
  url          = {https://doi.org/10.2478/v10037-008-0020-4},
  doi          = {10.2478/V10037-008-0020-4},
  timestamp    = {Thu, 18 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fm/ZhaoLY08.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.