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/bsl/bsl26.bht:"
download as .bib file
@article{DBLP:journals/bsl/Arana20,
author = {Andrew Arana},
title = {T. Button and S. Walsh. Philosophy and Model Theory. Oxford University
Press, Oxford, 2018, xvi + 517 pp},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {287--292},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.34},
doi = {10.1017/BSL.2020.34},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Arana20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Avron20,
author = {Arnon Avron},
title = {Weyl Reexamined: "das Kontinuum" 100 Years Later},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {26--79},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.23},
doi = {10.1017/BSL.2020.23},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Avron20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Basso20,
author = {Gianluca Basso},
title = {Compact Metrizable Structures via Projective Fra{\"{\i}}ss{\'{e}}
Theory With an Application to the Study of Fences},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {299--300},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.38},
doi = {10.1017/BSL.2020.38},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Basso20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Blanco20,
author = {Jos{\'{e}} Miguel Blanco},
title = {An Implicative Expansion of Belnap's Four-Valued Matrix: {A} Modal
Four-Valued Logic Without Strong Modal Lukasiewicz-Type Paradoxes},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {297--298},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.27},
doi = {10.1017/BSL.2020.27},
timestamp = {Wed, 03 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Blanco20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Brantley20,
author = {Kristina Brantley},
title = {Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {296},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.21},
doi = {10.1017/BSL.2020.21},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Brantley20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CasanovasZ20,
author = {Enrique Casanovas and
Martin Ziegler},
title = {{AN} {EXPOSITION} {OF} {THE} {COMPACTNESS} {OF} {\textdollar}L(\{Q\{{\textbackslash}mathrm\{cf\}\}\}){\textdollar}},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {212--218},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.4},
doi = {10.1017/BSL.2020.4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/CasanovasZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Cheng20,
author = {Yong Cheng},
title = {Finding the Limit of Incompleteness {I}},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {268--286},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.9},
doi = {10.1017/BSL.2020.9},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Cheng20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Ciesla20,
author = {Tomasz Ciesla},
title = {Measurable combinatorics and orbit equivalence relations},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {300--301},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.47},
doi = {10.1017/BSL.2020.47},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Ciesla20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Ferreira20,
author = {Fernando Ferreira},
title = {Bounds for Indexes of Nilpotency in Commutative Ring Theory: a Proof
Mining Approach},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {257--267},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.48},
doi = {10.1017/BSL.2020.48},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Ferreira20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Fiori-Carones20,
author = {Marta Fiori{-}Carones},
title = {Filling cages. Reverse mathematics and combinatorial principles},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {300},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.39},
doi = {10.1017/BSL.2020.39},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Fiori-Carones20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Foreman20,
author = {Matthew Foreman},
title = {G{\"{o}}del Diffeomorphisms},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {219--223},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.36},
doi = {10.1017/BSL.2020.36},
timestamp = {Fri, 30 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Foreman20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/JonghM20,
author = {Dick de Jongh and
Joan Rand Moschovakis},
title = {{IN} {MEMORIAM:} {ANNE} {SJERP} {TROELSTRA} 1939-2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {293--295},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.24},
doi = {10.1017/BSL.2020.24},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/JonghM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/MaddyM20,
author = {Penelope Maddy and
Toby Meadows},
title = {A Reconstruction of steel's Multiverse Project},
journal = {Bull. Symb. Log.},
volume = {26},
number = {2},
pages = {118--169},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.5},
doi = {10.1017/BSL.2020.5},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/MaddyM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mennuni20,
author = {Rosario Mennuni},
title = {Invariant Types in Model Theory},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {296--297},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.25},
doi = {10.1017/BSL.2020.25},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Mennuni20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/MichalskiRZ20,
author = {Marcin Michalski and
Robert Ralowski and
Szymon Zeberski},
title = {Nonmeasurable Sets and Unions with respect to Tree ideals},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {1--14},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.28},
doi = {10.1017/BSL.2020.28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/MichalskiRZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Muller20,
author = {Sandra M{\"{u}}ller},
title = {Reviews},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {89--92},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.6},
doi = {10.1017/BSL.2020.6},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Muller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Pillay20,
author = {Anand Pillay},
title = {Domination and Regularity},
journal = {Bull. Symb. Log.},
volume = {26},
number = {2},
pages = {103--117},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.40},
doi = {10.1017/BSL.2020.40},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Pillay20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Salehi20,
author = {Saeed Salehi},
title = {On the diagonal Lemma of G{\"{o}}del and Carnap},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {80--88},
year = {2020},
url = {https://doi.org/10.1017/bsl.2019.58},
doi = {10.1017/BSL.2019.58},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Salehi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Salehi20a,
author = {Saeed Salehi},
title = {G{\"{o}}del's second Incompleteness Theorem: How {IT} is derived
and What {IT} Delivers},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {241--256},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.22},
doi = {10.1017/BSL.2020.22},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Salehi20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Shi20,
author = {Xianghui Shi},
title = {Scott S. Cramer, Inverse limit reflection and the structure of {L(V}
{\(\lambda\)}+1). Journal of Mathematical Logic, vol. 15 (2015), no.
1, p. 1550001 {(38} pp.)},
journal = {Bull. Symb. Log.},
volume = {26},
number = {2},
pages = {170--171},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.7},
doi = {10.1017/BSL.2020.7},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Shi20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Terwijn20,
author = {Sebastiaan A. Terwijn},
title = {Computability in Partial Combinatory Algebras},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {224--240},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.46},
doi = {10.1017/BSL.2020.46},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Terwijn20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Wagner20,
author = {Frank Wagner},
title = {The {BSL} 25th Anniversary Prize},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {207--211},
year = {2020},
url = {https://doi.org/10.1017/bsl.2021.9},
doi = {10.1017/BSL.2021.9},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Wagner20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Walsh20,
author = {Patrick Walsh},
title = {A Categorical Characterization of Accessible Domain},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {298--299},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.29},
doi = {10.1017/BSL.2020.29},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Walsh20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20,
title = {{CALEIDOSCOPE} - {COMPLEXITY} {AS} {A} {KALEIDOSCOPE} {A} {RESEARCH}
{SCHOOL} {ON} {COMPUTATIONAL} {COMPLEXITY} {CO-SPONSORED} {BY} {THE}
{ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Institut Henri Poincar{\'{e}},
Paris, France June 17th-21st, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {93},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.11},
doi = {10.1017/BSL.2020.11},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20a,
title = {{EUROPEAN} {SET} {THEORY} {CONFERENCE} {VII} 2019 {CO-SPONSORED} {BY}
{THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Vienna, Austria July
1-5, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {94},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.13},
doi = {10.1017/BSL.2020.13},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20b,
title = {31ST {EUROPEAN} {SUMMER} {SCHOOL} {IN} LOGIC, {LANGUAGE} {AND} {INFORMATION}
{(ESSLLI} 2019) {CO-SPONSORED} {BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} Riga, Latvia August 5-16, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {95},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.12},
doi = {10.1017/BSL.2020.12},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20c,
title = {{THE} 27TH {INTERNATIONAL} {CONFERENCE} {ON} {AUTOMATED} {DEDUCTION}
(C{\textdollar}{\textbackslash}forall {\textbackslash}mathrm \{D\}
{\textbackslash}exists {\textdollar}-27) {CO-SPONSORED} {BY} {THE}
{ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Natal, Brazil August 23-30,
2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {96},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.10},
doi = {10.1017/BSL.2020.10},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20d,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {97--102},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.8},
doi = {10.1017/BSL.2020.8},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20e,
title = {2020 North American Annual Meeting of the Association for Symbolic
Logic, University of California, Irvine Irvine, California, {USA}
March 25-28, 2020},
journal = {Bull. Symb. Log.},
volume = {26},
number = {2},
pages = {172--201},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.31},
doi = {10.1017/BSL.2020.31},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20f,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {26},
number = {2},
pages = {202--206},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.30},
doi = {10.1017/BSL.2020.30},
timestamp = {Thu, 18 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X20f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20g,
title = {2020 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} Colorado Convention Center Denver, CO, {USA} January 17-18,
2020},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {302--308},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.20},
doi = {10.1017/BSL.2020.20},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20h,
title = {{YOUNG} {SET} {THEORY} {XII} 2019 {COSPONSORED} {BY} {THE} {ASSOCIATION}
{FOR} {SYMBOLIC} {LOGIC} Vienna, Austria June 26-29, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {309},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.18},
doi = {10.1017/BSL.2020.18},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20h.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20i,
title = {{HILBERT-BERNAYS} {SUMMER} {SCHOOL} {ON} {LOGIC} {AND} {COMPUTATION}
2019 {COSPONSORED} {BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC}
T{\"{u}}bingen, Germany July 21-27, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {310},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.15},
doi = {10.1017/BSL.2020.15},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20i.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20j,
title = {{WORKSHOP} {ON} {COMPUTABILITY} {THEORY} {(WCT} 2019) {COSPONSORED}
{BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Leeds, {UK} July
22-23, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {311},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.17},
doi = {10.1017/BSL.2020.17},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20j.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20k,
title = {FroCoS/TABLEAUX 2019 {COSPONSORED} {BY} {THE} {ASSOCIATION} {FOR}
{SYMBOLIC} {LOGIC} London, {UK} September 2-6, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {312},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.14},
doi = {10.1017/BSL.2020.14},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20k.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20l,
title = {Proof Society Summer Schools and Workshop on Proof Theory and its
Applications Cosponsored by the Association for Symbolic Logic Swansea,
{UK} September 8-13, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {313},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.16},
doi = {10.1017/BSL.2020.16},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20l.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20m,
title = {{CIRCULARITY} {IN} {SYNTAX} {AND} {SEMANTICS} (CiSS 2019) {COSPONSORED}
{BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Gothenburg, Sweden
November 20-22, 2019},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {314},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.32},
doi = {10.1017/BSL.2020.32},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20m.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20n,
title = {{LOGICAL} {FOUNDATIONS} {OF} {COMPUTER} {SCIENCE} {(LFCS} 2020) {COSPONSORED}
{BY} {THE} {ASSOCIATION} {FOR} {SYMBOLIC} {LOGIC} Deerfield Beach,
Florida, {USA} January 4-7, 2020},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {315},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.33},
doi = {10.1017/BSL.2020.33},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20n.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20o,
title = {Association for Symbolic Logic},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {316--320},
year = {2020},
url = {https://doi.org/10.1017/bsl.2021.4},
doi = {10.1017/BSL.2021.4},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20o.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20p,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {321--326},
year = {2020},
url = {https://doi.org/10.1017/bsl.2021.1},
doi = {10.1017/BSL.2021.1},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20p.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X20q,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {26},
number = {3-4},
pages = {327--332},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.49},
doi = {10.1017/BSL.2020.49},
timestamp = {Wed, 28 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X20q.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Yu20,
author = {Liang Yu},
title = {An Application of Recursion Theory to Analysis},
journal = {Bull. Symb. Log.},
volume = {26},
number = {1},
pages = {15--25},
year = {2020},
url = {https://doi.org/10.1017/bsl.2020.19},
doi = {10.1017/BSL.2020.19},
timestamp = {Wed, 27 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Yu20.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-06-03 14: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:
