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/bsl28.bht:"
download as .bib file
@article{DBLP:journals/bsl/AlbuquerqueC22,
author = {Hugo Albuquerque and
Carlos Caleiro},
title = {{AN} {ABSTRACT} {ALGEBRAIC} {LOGIC} {STUDY} {OF} {DA} COSTA'S {LOGIC}
\{{\textbackslash}mathscr \{C\}\}{\_}1 {AND} {SOME} {OF} {ITS} {PARACONSISTENT}
{EXTENSIONS}},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {477--528},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.36},
doi = {10.1017/BSL.2022.36},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/AlbuquerqueC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/BarnesGS22,
author = {James S. Barnes and
Jun Le Goh and
Richard A. Shore},
title = {Theorems of Hyperarithmetic Analysis and Almost theorems of Hyperarithmetic
Analysis},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {133--149},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.70},
doi = {10.1017/BSL.2021.70},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/BarnesGS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Barnicle22,
author = {Madeline G. Barnicle},
title = {Uniform Properties of Ideals in Rings of Restricted Power Series},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {258},
year = {2022},
url = {https://doi.org/10.1017/bsl.2020.26},
doi = {10.1017/BSL.2020.26},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Barnicle22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Button22,
author = {Tim Button},
title = {Level Theory, Part 3: a Boolean Algebra of Sets Arranged in Well-Ordered
Levels},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {1--26},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.15},
doi = {10.1017/BSL.2021.15},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Button22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/CarroyMM22,
author = {Rapha{\"{e}}l Carroy and
Andrea Medini and
Sandra M{\"{u}}ller},
title = {Constructing Wadge Classes},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {207--257},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.7},
doi = {10.1017/BSL.2022.7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/CarroyMM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/DebowskiS22,
author = {Lukasz Debowski and
Tomasz Steifer},
title = {Universal coding and Prediction on Ergodic Random Points},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {387--412},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.18},
doi = {10.1017/BSL.2022.18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/DebowskiS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FellinSW22,
author = {Giulio Fellin and
Peter Schuster and
Daniel Misselbeck{-}Wessel},
title = {The Jacobson radical of a Propositional Theory},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {163--181},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.66},
doi = {10.1017/BSL.2021.66},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/FellinSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Figueiredo22,
author = {Rodrigo Figueiredo},
title = {O-minimal de Rham Cohomology},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {529},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.20},
doi = {10.1017/BSL.2021.20},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Figueiredo22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/FreireH22,
author = {Rodrigo A. Freire and
Peter Holy},
title = {An Axiomatic Approach to forcing in a General Setting},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {427--450},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.15},
doi = {10.1017/BSL.2022.15},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/FreireH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Frittaion22,
author = {Emanuele Frittaion},
title = {A note on Fragments of Uniform Reflection in second order Arithmetic},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {451--465},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.23},
doi = {10.1017/BSL.2022.23},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Frittaion22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/GaleottiL22,
author = {Lorenzo Galeotti and
Benedikt L{\"{o}}we},
title = {Order Types of Models of Fragments of Peano Arithmetic},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {182--206},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.48},
doi = {10.1017/BSL.2021.48},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/GaleottiL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Gazzari22,
author = {Ren{\'{e}} Gazzari},
title = {Formal Theories of Occurrences and Substitutions},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {261--263},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.53},
doi = {10.1017/BSL.2021.53},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Gazzari22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Golzio22,
author = {Ana Claudia de Jesus Golzio},
title = {Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {260--261},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.35},
doi = {10.1017/BSL.2021.35},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Golzio22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Gonzalez22,
author = {Osvaldo Guzm{\'{a}}n Gonz{\'{a}}lez},
title = {P-points, {MAD} families and Cardinal Invariants},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {258--260},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.24},
doi = {10.1017/BSL.2021.24},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Gonzalez22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Harrison-Trainor22,
author = {Matthew Harrison{-}Trainor},
title = {An Introduction to the Scott Complexity of Countable Structures and
a Survey of Recent Results},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {71--103},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.62},
doi = {10.1017/BSL.2021.62},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Harrison-Trainor22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/HolzlP22,
author = {Rupert H{\"{o}}lzl and
Christopher P. Porter},
title = {Degrees of Randomized Computability},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {27--70},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.46},
doi = {10.1017/BSL.2021.46},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/HolzlP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Kamsma22,
author = {Mark Kamsma},
title = {Independence Relations in Abstract Elementary Categories},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {531},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.27},
doi = {10.1017/BSL.2022.27},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Kamsma22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Kripke22,
author = {Saul Aaron Kripke},
title = {The collapse of the Hilbert Program: a variation on the G{\"{o}}Delian
Theme},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {413--426},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.14},
doi = {10.1017/BSL.2022.14},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Kripke22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/LermanS22,
author = {Manuel Lerman and
Theodore A. Slaman},
title = {{IN} {MEMORIAM:} {GERALD} E. SACKS, 1933-2019},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {150--155},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.8},
doi = {10.1017/BSL.2022.8},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/LermanS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Maia22,
author = {Hendrick Maia},
title = {Quillen Model Categories-Based Notions of Locality of Logics over
Finite Structures},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {529--530},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.37},
doi = {10.1017/BSL.2021.37},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Maia22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Mikec22,
author = {Luka Mikec},
title = {On Logics and Semantics for Interpretability},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {265},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.3},
doi = {10.1017/BSL.2022.3},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Mikec22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Niki22,
author = {Satoru Niki},
title = {Investigations into intuitionistic and other negations},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {532},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.29},
doi = {10.1017/BSL.2022.29},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Niki22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Norwood22,
author = {Zach Norwood},
title = {The Combinatorics and Absoluteness of Definable Sets of Real Numbers},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {263--264},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.55},
doi = {10.1017/BSL.2021.55},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Norwood22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Oliveira22,
author = {Kleidson {\^{E}}glicio Carvalho da Silva Oliveira},
title = {Paraconsistent Logic Programming in Three and Four-Valued Logics},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {260},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.34},
doi = {10.1017/BSL.2021.34},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Oliveira22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Pinto22,
author = {Pedro Pinto},
title = {Proof Mining with the Bounded Functional Interpretation},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {265--266},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.12},
doi = {10.1017/BSL.2022.12},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Pinto22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Preto22,
author = {Sandro M{\'{a}}rcio da Silva Preto},
title = {Semantics modulo satisfiability with applications: function representation,
probabilities and game theory},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {264--265},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.2},
doi = {10.1017/BSL.2022.2},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Preto22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Sagi22,
author = {Gil Sagi},
title = {Invariance criteria as Meta-Constraints},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {104--132},
year = {2022},
url = {https://doi.org/10.1017/bsl.2021.67},
doi = {10.1017/BSL.2021.67},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Sagi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Shulman22,
author = {Michael Shulman},
title = {Affine Logic for Constructive Mathematics},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {327--386},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.28},
doi = {10.1017/BSL.2022.28},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Shulman22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Stafford22,
author = {Will Stafford},
title = {Something Valid This Way Comes: {A} Study of Neologicism and Proof-Theoretic
Validity},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {530--531},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.16},
doi = {10.1017/BSL.2022.16},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Stafford22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Storms22,
author = {Sven Storms},
title = {The Buridan-Volpin Derivation System; Properties and Justification},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {533--535},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.35},
doi = {10.1017/BSL.2022.35},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Storms22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Valenti22,
author = {Manlio Valenti},
title = {A journey through computability, topology and analysis},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {266--267},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.13},
doi = {10.1017/BSL.2022.13},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/Valenti22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Webb22,
author = {David J. Webb},
title = {On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {532--533},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.33},
doi = {10.1017/BSL.2022.33},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Webb22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/Wu22,
author = {Xinhe Wu},
title = {Boolean-Valued Models and Their Applications},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {533},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.34},
doi = {10.1017/BSL.2022.34},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/Wu22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {28},
number = {1},
pages = {156--162},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.9},
doi = {10.1017/BSL.2022.9},
timestamp = {Tue, 03 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22a,
title = {2021 {EUROPEAN} {SUMMER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR}
{SYMBOLIC} {LOGIC} {LOGIC} {COLLOQUIUM} '21 Adam Mickiewicz University
Pozna{\'{n}}, Poland July 19-24, 2021},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {268--318},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.17},
doi = {10.1017/BSL.2022.17},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22b,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {28},
number = {2},
pages = {319--325},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.19},
doi = {10.1017/BSL.2022.19},
timestamp = {Tue, 05 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bsl/X22b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22c,
title = {2022 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} {WITH} {THE} {AMS} Seattle, Washington Joint Mathematics Meeting
January 7-8, 2022},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {466},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.25},
doi = {10.1017/BSL.2022.25},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22d,
title = {2022 {WINTER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR} {SYMBOLIC}
{LOGIC} {WITH} {THE} {APA} Palmer House, Chicago, {IL} Central {APA}
Meeting February 24, 2022},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {467--469},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.26},
doi = {10.1017/BSL.2022.26},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22d.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22e,
title = {Notices},
journal = {Bull. Symb. Log.},
volume = {28},
number = {3},
pages = {470--475},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.30},
doi = {10.1017/BSL.2022.30},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22e.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22f,
title = {2022 {NORTH} {AMERICAN} {ANNUAL} {MEETING} {OF} {THE} {ASSOCIATION}
{FOR} {SYMBOLIC} {LOGIC} Cornell University Ithaca, NY, {USA} April
7-10, 2022},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {536--565},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.24},
doi = {10.1017/BSL.2022.24},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22f.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22g,
title = {2022 {EUROPEAN} {SUMMER} {MEETING} {OF} {THE} {ASSOCIATION} {FOR}
{SYMBOLIC} {LOGIC} {LOGIC} {COLLOQUIUM} 2022 Reykjav{\'{\i}}k
University Reykjav{\'{\i}}k, Iceland June 27 - July 1, 2022},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {566--606},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.38},
doi = {10.1017/BSL.2022.38},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22g.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bsl/X22h,
title = {{NOTICES}},
journal = {Bull. Symb. Log.},
volume = {28},
number = {4},
pages = {607--612},
year = {2022},
url = {https://doi.org/10.1017/bsl.2022.44},
doi = {10.1017/BSL.2022.44},
timestamp = {Tue, 21 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bsl/X22h.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-04 00:24 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:
