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/aml/aml41.bht:"
download as .bib file
@article{DBLP:journals/aml/AguzzoliG02,
author = {Stefano Aguzzoli and
Brunella Gerla},
title = {Finite-valued reductions of infinite-valued logics},
journal = {Arch. Math. Log.},
volume = {41},
number = {4},
pages = {361--399},
year = {2002},
url = {https://doi.org/10.1007/s001530100118},
doi = {10.1007/S001530100118},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AguzzoliG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Apter02,
author = {Arthur W. Apter},
title = {Aspects of strong compactness, measurability, and indestructibility},
journal = {Arch. Math. Log.},
volume = {41},
number = {8},
pages = {705--719},
year = {2002},
url = {https://doi.org/10.1007/s001530200139},
doi = {10.1007/S001530200139},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Apter02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Arai02,
author = {Toshiyasu Arai},
title = {Epsilon substitution method for theories of jump hierarchies},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {123--153},
year = {2002},
url = {https://doi.org/10.1007/s001530100108},
doi = {10.1007/S001530100108},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Arai02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/AvigadH02,
author = {Jeremy Avigad and
Jeremy Helzner},
title = {Transfer principles in nonstandard intuitionistic arithmetic},
journal = {Arch. Math. Log.},
volume = {41},
number = {6},
pages = {581--602},
year = {2002},
url = {https://doi.org/10.1007/s001530100109},
doi = {10.1007/S001530100109},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/AvigadH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BaldwinL02,
author = {John T. Baldwin and
Olivier Lessmann},
title = {Amalgamation properties and finite models in Ln-theories},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {155--167},
year = {2002},
url = {https://doi.org/10.1007/s001530100106},
doi = {10.1007/S001530100106},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BaldwinL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BartoszynskiR02,
author = {Tomek Bartoszynski and
Andrzej Roslanowski},
title = {Towards Martins minimum},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {65--82},
year = {2002},
url = {https://doi.org/10.1007/s001530200005},
doi = {10.1007/S001530200005},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BartoszynskiR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BartoszynskiS02,
author = {Tomek Bartoszynski and
Saharon Shelah},
title = {Strongly meager and strong measure zero sets},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {245--250},
year = {2002},
url = {https://doi.org/10.1007/s001530000068},
doi = {10.1007/S001530000068},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BartoszynskiS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Beckmann02,
author = {Arnold Beckmann},
title = {A non-well-founded primitive recursive tree provably well-founded
for co-r.e. sets},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {251--257},
year = {2002},
url = {https://doi.org/10.1007/s001530100107},
doi = {10.1007/S001530100107},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Beckmann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Belohlavek02,
author = {Radim Belohl{\'{a}}vek},
title = {Fuzzy equational logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {83--90},
year = {2002},
url = {https://doi.org/10.1007/s001530200006},
doi = {10.1007/S001530200006},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Belohlavek02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BiacinoG02,
author = {Loredana Biacino and
Giangiacomo Gerla},
title = {Fuzzy logic, continuity and effectiveness},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {643--667},
year = {2002},
url = {https://doi.org/10.1007/s001530100128},
doi = {10.1007/S001530100128},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/BiacinoG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BrownGS02,
author = {Douglas K. Brown and
Mariagnese Giusto and
Stephen G. Simpson},
title = {Vitali's Theorem and {WWKL}},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {191--206},
year = {2002},
url = {https://doi.org/10.1007/s001530100100},
doi = {10.1007/S001530100100},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BrownGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cantini02,
author = {Andrea Cantini},
title = {Polytime, combinatory logic and positive safe induction},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {169--189},
year = {2002},
url = {https://doi.org/10.1007/s001530100105},
doi = {10.1007/S001530100105},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cantini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CooperLY02,
author = {S. Barry Cooper and
Angsheng Li and
Xiaoding Yi},
title = {On the distribution of Lachlan nonsplitting bases},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {455--482},
year = {2002},
url = {https://doi.org/10.1007/s001530100095},
doi = {10.1007/S001530100095},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CooperLY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CoquandP02,
author = {Thierry Coquand and
Erik Palmgren},
title = {Metric Boolean algebras and constructive measure theory},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {687--704},
year = {2002},
url = {https://doi.org/10.1007/s001530100123},
doi = {10.1007/S001530100123},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CoquandP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cunningham02,
author = {Daniel W. Cunningham},
title = {A covering lemma for {L(R)}},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {49--54},
year = {2002},
url = {https://doi.org/10.1007/s001530200003},
doi = {10.1007/S001530200003},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cunningham02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/DAgostinoV02,
author = {Giovanna D'Agostino and
Albert Visser},
title = {Finality regained: {A} coalgebraic study of Scott-sets and multisets},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {267--298},
year = {2002},
url = {https://doi.org/10.1007/s001530100110},
doi = {10.1007/S001530100110},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/DAgostinoV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Fernandes02,
author = {Ant{\'{o}}nio Marques Fernandes},
title = {A new conservation result of {WKL0} over {RCA0}},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {55--63},
year = {2002},
url = {https://doi.org/10.1007/s001530200004},
doi = {10.1007/S001530200004},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Fernandes02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GrossbergIL02,
author = {Rami P. Grossberg and
Jos{\'{e}} Iovino and
Olivier Lessmann},
title = {A primer of simple theories},
journal = {Arch. Math. Log.},
volume = {41},
number = {6},
pages = {541--580},
year = {2002},
url = {https://doi.org/10.1007/s001530100126},
doi = {10.1007/S001530100126},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GrossbergIL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/GrossbergL02,
author = {Rami P. Grossberg and
Olivier Lessmann},
title = {Shelah's stability spectrum and homogeneity spectrum in finite diagrams},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {1--31},
year = {2002},
url = {https://doi.org/10.1007/s001530200000},
doi = {10.1007/S001530200000},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/GrossbergL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/HamkinsL02,
author = {Joel David Hamkins and
Andrew Lewis},
title = {Post's problem for supertasks has both positive and negative solutions},
journal = {Arch. Math. Log.},
volume = {41},
number = {6},
pages = {507--523},
year = {2002},
url = {https://doi.org/10.1007/s001530100112},
doi = {10.1007/S001530100112},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/HamkinsL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/IshmukhametovW02,
author = {Shamil Ishmukhametov and
Guohua Wu},
title = {Isolation and the high/low hierarchy},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {259--266},
year = {2002},
url = {https://doi.org/10.1007/s001530100111},
doi = {10.1007/S001530100111},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/IshmukhametovW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Luppi02,
author = {C. Luppi},
title = {On the Beth properties of some intuitionistic modal logics},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {443--454},
year = {2002},
url = {https://doi.org/10.1007/s001530100120},
doi = {10.1007/S001530100120},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Luppi02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MatetPT02,
author = {Pierre Matet and
C{\'{e}}dric P{\'{e}}an and
Stevo Todorcevic},
title = {Prime ideals on \emph{P} \({}_{\mbox{\emph{omega} }}\) \emph{ (lambda)}
with the partition property},
journal = {Arch. Math. Log.},
volume = {41},
number = {8},
pages = {743--764},
year = {2002},
url = {https://doi.org/10.1007/s001530200140},
doi = {10.1007/S001530200140},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MatetPT02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/McCoy02,
author = {Charles F. D. McCoy},
title = {Finite computable dimension does not relativize},
journal = {Arch. Math. Log.},
volume = {41},
number = {4},
pages = {309--320},
year = {2002},
url = {https://doi.org/10.1007/s001530100113},
doi = {10.1007/S001530100113},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/McCoy02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MlcekZ02,
author = {Josef Mlcek and
Pavol Zlatos},
title = {Some Ramsey-type theorems for countably determined sets},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {619--630},
year = {2002},
url = {https://doi.org/10.1007/s001530100129},
doi = {10.1007/S001530100129},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MlcekZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/MollerfeldR02,
author = {Michael M{\"{o}}llerfeld and
Michael Rathjen},
title = {A note on the Sigma1 spectrum of a theory},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {33--34},
year = {2002},
url = {https://doi.org/10.1007/s001530200001},
doi = {10.1007/S001530200001},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MollerfeldR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Moniri02,
author = {Morteza Moniri},
title = {\emph{H}-theories, fragments of {HA} and PA-normality},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {101--105},
year = {2002},
url = {https://doi.org/10.1007/s001530200008},
doi = {10.1007/S001530200008},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Moniri02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Mourgues02,
author = {Marie{-}H{\'{e}}l{\`{e}}ne Mourgues},
title = {Analytic functions over a field of power series},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {631--642},
year = {2002},
url = {https://doi.org/10.1007/s001530100125},
doi = {10.1007/S001530100125},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Mourgues02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Negri02,
author = {Sara Negri},
title = {A normalizing system of natural deduction for intuitionistic linear
logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {8},
pages = {789--810},
year = {2002},
url = {https://doi.org/10.1007/s001530100136},
doi = {10.1007/S001530100136},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Negri02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/NolaEGGS02,
author = {Antonio Di Nola and
Francesc Esteva and
Pere Garcia and
Llu{\'{\i}}s Godo and
Salvatore Sessa},
title = {Subvarieties of BL-algebras generated by single-component chains},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {673--685},
year = {2002},
url = {https://doi.org/10.1007/s001530100114},
doi = {10.1007/S001530100114},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/NolaEGGS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Normann02,
author = {Dag Normann},
title = {Representation theorems for transfinite computability and definability},
journal = {Arch. Math. Log.},
volume = {41},
number = {8},
pages = {721--741},
year = {2002},
url = {https://doi.org/10.1007/s001530200137},
doi = {10.1007/S001530200137},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Normann02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Normann02a,
author = {Dag Normann},
title = {Continuity, proof systems and the theory of transfinite computations},
journal = {Arch. Math. Log.},
volume = {41},
number = {8},
pages = {765--788},
year = {2002},
url = {https://doi.org/10.1007/s001530200138},
doi = {10.1007/S001530200138},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Normann02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/NormannW02,
author = {Dag Normann and
Geir Waagb{\o}},
title = {Limit spaces and transfinite types},
journal = {Arch. Math. Log.},
volume = {41},
number = {6},
pages = {525--539},
year = {2002},
url = {https://doi.org/10.1007/s001530100131},
doi = {10.1007/S001530100131},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/NormannW02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Oitavem02,
author = {Isabel Oitavem},
title = {A term rewriting characterization of the functions computable in polynomial
space},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {35--47},
year = {2002},
url = {https://doi.org/10.1007/s001530200002},
doi = {10.1007/S001530200002},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Oitavem02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/OwingsGM02,
author = {James C. Owings and
William I. Gasarch and
Georgia Martin},
title = {Max and min limiters},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {483--495},
year = {2002},
url = {https://doi.org/10.1007/s001530100121},
doi = {10.1007/S001530100121},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/OwingsGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Paoli02,
author = {Francesco Paoli},
title = {On the algebraic structure of linear, relevance, and fuzzy logics},
journal = {Arch. Math. Log.},
volume = {41},
number = {2},
pages = {107--121},
year = {2002},
url = {https://doi.org/10.1007/s001530100098},
doi = {10.1007/S001530100098},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Paoli02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Pynko02,
author = {Alexej P. Pynko},
title = {Extensions of Halkowska-Zajac's three-valued paraconsistent logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {299--307},
year = {2002},
url = {https://doi.org/10.1007/s001530100115},
doi = {10.1007/S001530100115},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Pynko02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Shelah02,
author = {Saharon Shelah},
title = {On the existence of large subsets of [lambda]kappa which contain no
unbounded non-stationary subsets},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {207--213},
year = {2002},
url = {https://doi.org/10.1007/s001530000054},
doi = {10.1007/S001530000054},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Shelah02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Shelah02a,
author = {Saharon Shelah},
title = {{PCF} and infinite free subsets in an algebra},
journal = {Arch. Math. Log.},
volume = {41},
number = {4},
pages = {321--359},
year = {2002},
url = {https://doi.org/10.1007/s001530100101},
doi = {10.1007/S001530100101},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Shelah02a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Shelah02b,
author = {Saharon Shelah},
title = {More constructions for Boolean algebras},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {401--441},
year = {2002},
url = {https://doi.org/10.1007/s001530100099},
doi = {10.1007/S001530100099},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Shelah02b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Takano02,
author = {Mitio Takano},
title = {Strong completeness of lattice-valued logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {497--505},
year = {2002},
url = {https://doi.org/10.1007/s001530100122},
doi = {10.1007/S001530100122},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Takano02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Tanovic02,
author = {Predrag Tanovic},
title = {A note on countable models of 1-based theories},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {669--671},
year = {2002},
url = {https://doi.org/10.1007/s001530100116},
doi = {10.1007/S001530100116},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Tanovic02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Valentini02,
author = {Silvio Valentini},
title = {On the formal points of the formal topology of the binary tree},
journal = {Arch. Math. Log.},
volume = {41},
number = {7},
pages = {603--618},
year = {2002},
url = {https://doi.org/10.1007/s001530100133},
doi = {10.1007/S001530100133},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Valentini02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Wang02,
author = {Yongge Wang},
title = {The algebraic structure of the isomorphic types of tally, polynomial
time computable sets},
journal = {Arch. Math. Log.},
volume = {41},
number = {3},
pages = {215--244},
year = {2002},
url = {https://doi.org/10.1007/s001530100117},
doi = {10.1007/S001530100117},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aml/Wang02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Yamagata02,
author = {Yoriyuki Yamagata},
title = {Strong normalization of a symmetric lambda calculus for second-order
classical logic},
journal = {Arch. Math. Log.},
volume = {41},
number = {1},
pages = {91--99},
year = {2002},
url = {https://doi.org/10.1007/s001530200007},
doi = {10.1007/S001530200007},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Yamagata02.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-27 00:04 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:
