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/fm19.bht:"
download as .bib file
@article{DBLP:journals/fm/Bancerek11,
author = {Grzegorz Bancerek},
title = {Veblen Hierarchy},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {83--92},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0014-5},
doi = {10.2478/V10037-011-0014-5},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek11a,
author = {Grzegorz Bancerek},
title = {Sorting by Exchanging},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {93--102},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0015-4},
doi = {10.2478/V10037-011-0015-4},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Bancerek11b,
author = {Grzegorz Bancerek},
title = {Representation Theorem for Stacks},
journal = {Formaliz. Math.},
volume = {19},
number = {4},
pages = {241--250},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0033-2},
doi = {10.2478/V10037-011-0033-2},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Bancerek11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Caminati11,
author = {Marco B. Caminati},
title = {Preliminaries to Classical First Order Model Theory},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {155--167},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0025-2},
doi = {10.2478/V10037-011-0025-2},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Caminati11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Caminati11a,
author = {Marco B. Caminati},
title = {Definition of First Order Language with Arbitrary Alphabet. Syntax
of Terms, Atomic Formulas and their Subterms},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {169--178},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0026-1},
doi = {10.2478/V10037-011-0026-1},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Caminati11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Caminati11b,
author = {Marco B. Caminati},
title = {First Order Languages: Further Syntax and Semantics},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {179--192},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0027-0},
doi = {10.2478/V10037-011-0027-0},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Caminati11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Caminati11c,
author = {Marco B. Caminati},
title = {Free Interpretation, Quotient Interpretation and Substitution of a
Letter with a Term for First Order Languages},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {193--203},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0028-z},
doi = {10.2478/V10037-011-0028-Z},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Caminati11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Caminati11d,
author = {Marco B. Caminati},
title = {Sequent Calculus, Derivability, Provability. G{\"{o}}del's Completeness
Theorem},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {205--222},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0029-y},
doi = {10.2478/V10037-011-0029-Y},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Caminati11d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/FutaOS11,
author = {Yuichi Futa and
Hiroyuki Okazaki and
Yasunari Shidama},
title = {Formalization of Integral Linear Space},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {61--64},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0010-9},
doi = {10.2478/V10037-011-0010-9},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/FutaOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/FutaOS11a,
author = {Yuichi Futa and
Hiroyuki Okazaki and
Yasunari Shidama},
title = {Set of Points on Elliptic Curve in Projective Coordinates},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {131--138},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0021-6},
doi = {10.2478/V10037-011-0021-6},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/FutaOS11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Giero11,
author = {Mariusz Giero},
title = {The Axiomatization of Propositional Linear Time Temporal Logic},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {113--119},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0018-1},
doi = {10.2478/V10037-011-0018-1},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Giero11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/InoueNES11,
author = {Takao Inou{\'{e}} and
Adam Naumowicz and
Noboru Endou and
Yasunari Shidama},
title = {Partial Differentiation of Vector-Valued Functions on \emph{n}-Dimensional
Real Normed Linear Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {1--9},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0001-x},
doi = {10.2478/V10037-011-0001-X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/InoueNES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/InoueNES11a,
author = {Takao Inou{\'{e}} and
Adam Naumowicz and
Noboru Endou and
Yasunari Shidama},
title = {Partial Differentiation, Differentiation and Continuity on \emph{n}-Dimensional
Real Normed Linear Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {65--68},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0011-8},
doi = {10.2478/V10037-011-0011-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/InoueNES11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Jaeger11,
author = {Peter Jaeger},
title = {Borel-Cantelli Lemma},
journal = {Formaliz. Math.},
volume = {19},
number = {4},
pages = {227--232},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0031-4},
doi = {10.2478/V10037-011-0031-4},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Jaeger11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/KanazashiOS11,
author = {Katuhiko Kanazashi and
Hiroyuki Okazaki and
Yasunari Shidama},
title = {Banach Algebra of Bounded Complex-Valued Functionals},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {121--126},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0019-0},
doi = {10.2478/V10037-011-0019-0},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/KanazashiOS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Kornilowicz11,
author = {Artur Kornilowicz},
title = {Mazur-Ulam Theorem},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {127--130},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0020-7},
doi = {10.2478/V10037-011-0020-7},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Kornilowicz11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Kornilowicz11a,
author = {Artur Kornilowicz},
title = {Cayley's Theorem},
journal = {Formaliz. Math.},
volume = {19},
number = {4},
pages = {223--225},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0030-5},
doi = {10.2478/V10037-011-0030-5},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Kornilowicz11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/LiangL11,
author = {Xiquan Liang and
Dailu Li},
title = {Some Properties of \emph{p}-Groups and Commutative \emph{p}-Groups},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {11--15},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0002-9},
doi = {10.2478/V10037-011-0002-9},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/LiangL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/LiangTJ11,
author = {Xiquan Liang and
Ling Tang and
Xichun Jiang},
title = {Difference and Difference Quotient. Part {IV}},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {35--39},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0006-5},
doi = {10.2478/V10037-011-0006-5},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/LiangTJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/MiyajimaKS11,
author = {Keiichi Miyajima and
Takahiro Kato and
Yasunari Shidama},
title = {Riemann Integral of Functions from {R} into Real Normed Space},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {17--22},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0003-8},
doi = {10.2478/V10037-011-0003-8},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/MiyajimaKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/NaritaKS11,
author = {Keiko Narita and
Artur Kornilowicz and
Yasunari Shidama},
title = {More on the Continuity of Real Functions},
journal = {Formaliz. Math.},
volume = {19},
number = {4},
pages = {233--239},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0032-3},
doi = {10.2478/V10037-011-0032-3},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/NaritaKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Nittka11,
author = {Robin Nittka},
title = {Conway's Games and Some of their Basic Properties},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {73--81},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0013-6},
doi = {10.2478/V10037-011-0013-6},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Nittka11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/OkazakiAS11,
author = {Hiroyuki Okazaki and
Kenichi Arai and
Yasunari Shidama},
title = {Normal Subgroup of Product of Groups},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {23--26},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0004-7},
doi = {10.2478/V10037-011-0004-7},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/OkazakiAS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/OkazakiENS11,
author = {Hiroyuki Okazaki and
Noboru Endou and
Keiko Narita and
Yasunari Shidama},
title = {Differentiable Functions into Real Normed Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {69--72},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0012-7},
doi = {10.2478/V10037-011-0012-7},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/OkazakiENS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/OkazakiES11,
author = {Hiroyuki Okazaki and
Noboru Endou and
Yasunari Shidama},
title = {More on Continuous Functions on Normed Linear Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {45--49},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0008-3},
doi = {10.2478/V10037-011-0008-3},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/OkazakiES11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/OkazakiES11a,
author = {Hiroyuki Okazaki and
Noboru Endou and
Yasunari Shidama},
title = {Cartesian Products of Family of Real Linear Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {51--59},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0009-2},
doi = {10.2478/V10037-011-0009-2},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fm/OkazakiES11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak11,
author = {Karol Pak},
title = {Linear Transformations of Euclidean Topological Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {103--108},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0016-3},
doi = {10.2478/V10037-011-0016-3},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak11a,
author = {Karol Pak},
title = {Linear Transformations of Euclidean Topological Spaces. Part {II}},
journal = {Formaliz. Math.},
volume = {19},
number = {2},
pages = {109--112},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0017-2},
doi = {10.2478/V10037-011-0017-2},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak11b,
author = {Karol Pak},
title = {Continuity of Barycentric Coordinates in Euclidean Topological Spaces},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {139--144},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0022-5},
doi = {10.2478/V10037-011-0022-5},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak11b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak11c,
author = {Karol Pak},
title = {Brouwer Fixed Point Theorem for Simplexes},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {145--150},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0023-4},
doi = {10.2478/V10037-011-0023-4},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Pak11d,
author = {Karol Pak},
title = {Brouwer Fixed Point Theorem in the General Case},
journal = {Formaliz. Math.},
volume = {19},
number = {3},
pages = {151--153},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0024-3},
doi = {10.2478/V10037-011-0024-3},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Pak11d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/Riccardi11,
author = {Marco Riccardi},
title = {The Definition of Topological Manifolds},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {41--44},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0007-4},
doi = {10.2478/V10037-011-0007-4},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/Riccardi11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fm/RudnickiS11,
author = {Piotr Rudnicki and
Lorna Stewart},
title = {The Mycielskian of a Graph},
journal = {Formaliz. Math.},
volume = {19},
number = {1},
pages = {27--34},
year = {2011},
url = {https://doi.org/10.2478/v10037-011-0005-6},
doi = {10.2478/V10037-011-0005-6},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fm/RudnickiS11.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-04-23 20:22 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:
