Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fm/fm22.bht:"
download as .bib file
@article{DBLP:journals/fm/AraiWO14,
author = {Kenichi Arai and
Ken Wakabayashi and
Hiroyuki Okazaki},
title = {Difference of Function on Vector Space over {F}},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {269--275},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0027},
doi = {10.2478/FORMA-2014-0027},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/AraiWO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek14,
author = {Grzegorz Bancerek},
title = {Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {37--56},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0005},
doi = {10.2478/FORMA-2014-0005},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek14a,
author = {Grzegorz Bancerek},
title = {Term Context},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {125--155},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0015},
doi = {10.2478/FORMA-2014-0015},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Bancerek14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek14b,
author = {Grzegorz Bancerek},
title = {Algebraic Approach to Algorithmic Logic},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {225--255},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0025},
doi = {10.2478/FORMA-2014-0025},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/CaminatiK14,
author = {Marco B. Caminati and
Artur Kornilowicz},
title = {Pseudo-Canonical Formulae are Classical},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {99--103},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0011},
doi = {10.2478/FORMA-2014-0011},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/CaminatiK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Coghetto14,
author = {Roland Coghetto},
title = {Semiring of Sets},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {79--84},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0008},
doi = {10.2478/FORMA-2014-0008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Coghetto14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Coghetto14a,
author = {Roland Coghetto},
title = {Semiring of Sets: Examples},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {85--88},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0009},
doi = {10.2478/FORMA-2014-0009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Coghetto14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Coghetto14b,
author = {Roland Coghetto},
title = {Some Facts about Trigonometry and Euclidean Geometry},
journal = {Formaliz. Math.},
volume = {22},
number = {4},
pages = {313--319},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0031},
doi = {10.2478/FORMA-2014-0031},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Coghetto14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Endou14,
author = {Noboru Endou},
title = {Double Series and Sums},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {57--68},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0006},
doi = {10.2478/FORMA-2014-0006},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Endou14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/FutaONS14,
author = {Yuichi Futa and
Hiroyuki Okazaki and
Kazuhisa Nakasho and
Yasunari Shidama},
title = {Torsion Z-module and Torsion-free Z-module},
journal = {Formaliz. Math.},
volume = {22},
number = {4},
pages = {277--289},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0028},
doi = {10.2478/FORMA-2014-0028},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/FutaONS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski14,
author = {Adam Grabowski},
title = {Topological Interpretation of Rough Sets},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {89--97},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0010},
doi = {10.2478/FORMA-2014-0010},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Grabowski14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski14a,
author = {Adam Grabowski},
title = {Cauchy Mean Theorem},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {157--166},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0016},
doi = {10.2478/FORMA-2014-0016},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Grabowski14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski14b,
author = {Adam Grabowski},
title = {Formalization of Generalized Almost Distributive Lattices},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {257--267},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0026},
doi = {10.2478/FORMA-2014-0026},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Grabowski14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski14c,
author = {Adam Grabowski},
title = {The Formal Construction of Fuzzy Numbers},
journal = {Formaliz. Math.},
volume = {22},
number = {4},
pages = {321--327},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0032},
doi = {10.2478/FORMA-2014-0032},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Grabowski14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/GrabowskiS14,
author = {Adam Grabowski and
Yasunari Shidama},
title = {Preface},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {i--iv},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0020},
doi = {10.2478/FORMA-2014-0020},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/GrabowskiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/IshidaSG14,
author = {Kazuhisa Ishida and
Yasunari Shidama and
Adam Grabowski},
title = {Definition of Flat Poset and Existence Theorems for Recursive Call},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {1--10},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0001},
doi = {10.2478/FORMA-2014-0001},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/IshidaSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Jaeger14,
author = {Peter Jaeger},
title = {Events of Borel Sets, Construction of Borel Sets and Random Variables
for Stochastic Finance},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {199--204},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0022},
doi = {10.2478/FORMA-2014-0022},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Jaeger14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/KornilowiczS14,
author = {Artur Kornilowicz and
Christoph Schwarzweller},
title = {The First Isomorphism Theorem and Other Properties of Rings},
journal = {Formaliz. Math.},
volume = {22},
number = {4},
pages = {291--301},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0029},
doi = {10.2478/FORMA-2014-0029},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/KornilowiczS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/NakashoFOS14,
author = {Kazuhisa Nakasho and
Yuichi Futa and
Hiroyuki Okazaki and
Yasunari Shidama},
title = {Rank of Submodule, Linear Transformations and Linearly Independent
Subsets of Z-module},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {189--198},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0021},
doi = {10.2478/FORMA-2014-0021},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/NakashoFOS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/NakashoFS14,
author = {Kazuhisa Nakasho and
Yuichi Futa and
Yasunari Shidama},
title = {Topological Properties of Real Normed Space},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {209--223},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0024},
doi = {10.2478/FORMA-2014-0024},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/NakashoFS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/NaritaES14,
author = {Keiko Narita and
Noboru Endou and
Yasunari Shidama},
title = {Dual Spaces and Hahn-Banach Theorem},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {69--77},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0007},
doi = {10.2478/FORMA-2014-0007},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/NaritaES14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/NaritaES14a,
author = {Keiko Narita and
Noboru Endou and
Yasunari Shidama},
title = {Bidual Spaces and Reflexivity of Real Normed Spaces},
journal = {Formaliz. Math.},
volume = {22},
number = {4},
pages = {303--311},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0030},
doi = {10.2478/FORMA-2014-0030},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/NaritaES14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Naumowicz14,
author = {Adam Naumowicz},
title = {A Note on the Seven Bridges of K{\"{o}}nigsberg Problem},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {177--178},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0018},
doi = {10.2478/FORMA-2014-0018},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Naumowicz14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak14,
author = {Karol Pak},
title = {Tietze Extension Theorem for n-dimensional Spaces},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {11--19},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0002},
doi = {10.2478/FORMA-2014-0002},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak14a,
author = {Karol Pak},
title = {Brouwer Invariance of Domain Theorem},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {21--28},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0003},
doi = {10.2478/FORMA-2014-0003},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak14b,
author = {Karol Pak},
title = {Bertrand's Ballot Theorem},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {119--123},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0014},
doi = {10.2478/FORMA-2014-0014},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Pak14b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak14c,
author = {Karol Pak},
title = {Topological Manifolds},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {179--186},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0019},
doi = {10.2478/FORMA-2014-0019},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Pak14c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/RichterGA14,
author = {William Richter and
Adam Grabowski and
Jesse Alama},
title = {Tarski Geometry Axioms},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {167--176},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0017},
doi = {10.2478/FORMA-2014-0017},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/RichterGA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Schwarzweller14,
author = {Christoph Schwarzweller},
title = {Proth Numbers},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {111--118},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0013},
doi = {10.2478/FORMA-2014-0013},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Schwarzweller14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/ShahKG14,
author = {Pratima K. Shah and
Pauline N. Kawamoto and
Mariusz Giero},
title = {The Formalization of Decision-Free Petri Net},
journal = {Formaliz. Math.},
volume = {22},
number = {1},
pages = {29--35},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0004},
doi = {10.2478/FORMA-2014-0004},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/ShahKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Watase14,
author = {Yasushige Watase},
title = {Lagrange's Four-Square Theorem},
journal = {Formaliz. Math.},
volume = {22},
number = {2},
pages = {105--110},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0012},
doi = {10.2478/FORMA-2014-0012},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Watase14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Ziobro14,
author = {Rafal Ziobro},
title = {Some Remarkable Identities Involving Numbers},
journal = {Formaliz. Math.},
volume = {22},
number = {3},
pages = {205--208},
year = {2014},
url = {https://doi.org/10.2478/forma-2014-0023},
doi = {10.2478/FORMA-2014-0023},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Ziobro14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-07-08 09:23 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
