default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/fm/fm28.bht:"
download as .bib file
@article{DBLP:journals/fm/Coghetto20,
author = {Roland Coghetto},
title = {Klein-Beltrami model. Part {III}},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {1--7},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0001},
doi = {10.2478/FORMA-2020-0001},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Coghetto20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Coghetto20a,
author = {Roland Coghetto},
title = {Klein-Beltrami model. Part {IV}},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {9--21},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0002},
doi = {10.2478/FORMA-2020-0002},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Coghetto20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Coghetto20b,
author = {Roland Coghetto},
title = {A Case Study of Transporting Urysohn's Lemma from Topology via Open
Sets into Topology via Neighborhoods},
journal = {Formaliz. Math.},
volume = {28},
number = {3},
pages = {227--237},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0020},
doi = {10.2478/FORMA-2020-0020},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Coghetto20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Endou20,
author = {Noboru Endou},
title = {Reconstruction of the One-Dimensional Lebesgue Measure},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {93--104},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0008},
doi = {10.2478/FORMA-2020-0008},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Endou20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/FujiwaraWY20,
author = {Hiroshi Fujiwara and
Hokuto Watari and
Hiroaki Yamamoto},
title = {Dynamic Programming for the Subset Sum Problem},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {89--92},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0007},
doi = {10.2478/FORMA-2020-0007},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/FujiwaraWY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski20,
author = {Adam Grabowski},
title = {Developing Complementary Rough Inclusion Functions},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {105--113},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0009},
doi = {10.2478/FORMA-2020-0009},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Grabowski20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Grabowski20a,
author = {Adam Grabowski},
title = {On Fuzzy Negations Generated by Fuzzy Implications},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {121--128},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0011},
doi = {10.2478/FORMA-2020-0011},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Grabowski20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Jaszczak20,
author = {Adrian Jaszczak},
title = {General Theory and Tools for Proving Algorithms in Nominative Data
Systems},
journal = {Formaliz. Math.},
volume = {28},
number = {4},
pages = {269--278},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0024},
doi = {10.2478/FORMA-2020-0024},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Jaszczak20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Jaszczak20a,
author = {Adrian Jaszczak},
title = {Partial Correctness of an Algorithm Computing Lucas Sequences},
journal = {Formaliz. Math.},
volume = {28},
number = {4},
pages = {279--288},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0025},
doi = {10.2478/FORMA-2020-0025},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Jaszczak20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20,
author = {Sebastian Koch},
title = {Miscellaneous Graph Preliminaries},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {23--39},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0003},
doi = {10.2478/FORMA-2020-0003},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20a,
author = {Sebastian Koch},
title = {About Graph Complements},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {41--63},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0004},
doi = {10.2478/FORMA-2020-0004},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20b,
author = {Sebastian Koch},
title = {Refined Finiteness and Degree Properties in Graphs},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {137--154},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0013},
doi = {10.2478/FORMA-2020-0013},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20c,
author = {Sebastian Koch},
title = {About Graph Unions and Intersections},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {155--171},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0014},
doi = {10.2478/FORMA-2020-0014},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20d,
author = {Sebastian Koch},
title = {Unification of Graphs and Relations in Mizar},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {173--186},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0015},
doi = {10.2478/FORMA-2020-0015},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Koch20e,
author = {Sebastian Koch},
title = {Extended Natural Numbers and Counters},
journal = {Formaliz. Math.},
volume = {28},
number = {3},
pages = {239--249},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0021},
doi = {10.2478/FORMA-2020-0021},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Koch20e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Kornilowicz20,
author = {Artur Kornilowicz},
title = {Partial Correctness of a Fibonacci Algorithm},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {187--196},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0016},
doi = {10.2478/FORMA-2020-0016},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Kornilowicz20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/KuleszaG20,
author = {Dominik Kulesza and
Adam Grabowski},
title = {Formalization of Quasilattices},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {217--225},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0019},
doi = {10.2478/FORMA-2020-0019},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/KuleszaG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Naumowicz20,
author = {Adam Naumowicz},
title = {Elementary Number Theory Problems. Part {I}},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {115--120},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0010},
doi = {10.2478/FORMA-2020-0010},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Naumowicz20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak20,
author = {Karol Pak},
title = {Grothendieck Universes},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {211--215},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0018},
doi = {10.2478/FORMA-2020-0018},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Pak20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Schwarzweller20,
author = {Christoph Schwarzweller},
title = {Renamings and a Condition-free Formalization of Kronecker's Construction},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {129--135},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0012},
doi = {10.2478/FORMA-2020-0012},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Schwarzweller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Schwarzweller20a,
author = {Christoph Schwarzweller},
title = {Ring and Field Adjunctions, Algebraic Elements and Minimal Polynomials},
journal = {Formaliz. Math.},
volume = {28},
number = {3},
pages = {251--261},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0022},
doi = {10.2478/FORMA-2020-0022},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Schwarzweller20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Wasaki20,
author = {Katsumi Wasaki},
title = {Stability of the 7-3 Compressor Circuit for Wallace Tree. Part {I}},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {65--77},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0005},
doi = {10.2478/FORMA-2020-0005},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Wasaki20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Watase20,
author = {Yasushige Watase},
title = {Rings of Fractions and Localization},
journal = {Formaliz. Math.},
volume = {28},
number = {1},
pages = {79--87},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0006},
doi = {10.2478/FORMA-2020-0006},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Watase20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Yamazaki20,
author = {Hiroshi Yamazaki},
title = {Functional Sequence in Norm Space},
journal = {Formaliz. Math.},
volume = {28},
number = {4},
pages = {263--268},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0023},
doi = {10.2478/FORMA-2020-0023},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/Yamazaki20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Ziobro20,
author = {Rafal Ziobro},
title = {Multiplication-Related Classes of Complex Numbers},
journal = {Formaliz. Math.},
volume = {28},
number = {2},
pages = {197--210},
year = {2020},
url = {https://doi.org/10.2478/forma-2020-0017},
doi = {10.2478/FORMA-2020-0017},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Ziobro20.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.
retrieved on 2024-09-19 21:52 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:
