default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/jsyml/jsyml40.bht:"
download as .bib file
@article{DBLP:journals/jsyml/Andler75,
author = {Daniel Andler},
title = {Semi-Minimal Theories and Categoricity},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {419--438},
year = {1975},
url = {https://doi.org/10.2307/2272166},
doi = {10.2307/2272166},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Andler75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baumgartner75,
author = {James E. Baumgartner},
title = {Canonical Partition Relations},
journal = {J. Symb. Log.},
volume = {40},
number = {4},
pages = {541--554},
year = {1975},
url = {https://doi.org/10.2307/2271778},
doi = {10.2307/2271778},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baumgartner75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Baur75,
author = {Walter Baur},
title = {N\({}_{\mbox{0}}\)-Categorical Modules},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {213--220},
year = {1975},
url = {https://doi.org/10.2307/2271901},
doi = {10.2307/2271901},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Baur75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Beeson75,
author = {Michael Beeson},
title = {The Nonderivability in Intuitionistic Formal Systems of Theorems on
the Continuity of Effective Operations},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {321--346},
year = {1975},
url = {https://doi.org/10.2307/2272158},
doi = {10.2307/2272158},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Beeson75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benda75,
author = {Miroslav Benda},
title = {Construction of Models from Groups of Permutations},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {383--388},
year = {1975},
url = {https://doi.org/10.2307/2272160},
doi = {10.2307/2272160},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benda75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Benthem75,
author = {Johan van Benthem},
title = {A Note on Modal Formulae and Relational Properties},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {55--58},
year = {1975},
url = {https://doi.org/10.2307/2272270},
doi = {10.2307/2272270},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Benthem75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BlancP75,
author = {Georges Blanc and
Anne Preller},
title = {Lawvere's Basic Theory of the Category of Categories},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {14--18},
year = {1975},
url = {https://doi.org/10.2307/2272263},
doi = {10.2307/2272263},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BlancP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Boffa75,
author = {Maurice Boffa},
title = {Sets Equipollent to their Power Set in {NF}},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {149--150},
year = {1975},
url = {https://doi.org/10.2307/2271894},
doi = {10.2307/2271894},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Boffa75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Bridge75,
author = {Jane Bridge},
title = {A Simplification of the Bachmann Method for Generating Large Countable
Ordinals},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {171--185},
year = {1975},
url = {https://doi.org/10.2307/2271898},
doi = {10.2307/2271898},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Bridge75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cohen75,
author = {Paul E. Cohen},
title = {A Large Power Set Axiom},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {48--54},
year = {1975},
url = {https://doi.org/10.2307/2272269},
doi = {10.2307/2272269},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cohen75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cohn75,
author = {P. M. Cohn},
title = {The Word Problem for Free Fields: {A} Correction and an Addendum},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {69--74},
year = {1975},
url = {https://doi.org/10.2307/2272273},
doi = {10.2307/2272273},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cohn75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/DawesF75,
author = {A. M. Dawes and
John B. Florence},
title = {Independent Godel Sentences and Independent Sets},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {159--166},
year = {1975},
url = {https://doi.org/10.2307/2271896},
doi = {10.2307/2271896},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/DawesF75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Edelstein75,
author = {Roy Edelstein},
title = {An Interpolation Lemma for the Pure Implicational Calculus},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {443--444},
year = {1975},
url = {https://doi.org/10.2307/2272168},
doi = {10.2307/2272168},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Edelstein75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Ellentuck75,
author = {Erik Ellentuck},
title = {The Foundations of Suslin Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {4},
pages = {567--575},
year = {1975},
url = {https://doi.org/10.2307/2271780},
doi = {10.2307/2271780},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Ellentuck75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Flannagan75,
author = {T. B. Flannagan},
title = {On an Extension of Hilbert's Second epsilon-Theorem},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {393--397},
year = {1975},
url = {https://doi.org/10.2307/2272162},
doi = {10.2307/2272162},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Flannagan75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Flum75,
author = {J{\"{o}}rg Flum},
title = {L(Q)-Preservation Theorems},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {410--418},
year = {1975},
url = {https://doi.org/10.2307/2272165},
doi = {10.2307/2272165},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Flum75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Friedman75,
author = {Harvey Friedman},
title = {One Hundred and Two Problems in Mathematical Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {113--129},
year = {1975},
url = {https://doi.org/10.2307/2271891},
doi = {10.2307/2271891},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Friedman75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Gerson75,
author = {Martin Gerson},
title = {The Inadequacy of the Neighbourhood Semantics for Modal Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {141--148},
year = {1975},
url = {https://doi.org/10.2307/2271893},
doi = {10.2307/2271893},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Gerson75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GilmoreMM75,
author = {Paul C. Gilmore and
Donald A. Martin and
Elliott Mendelson},
title = {Meeting of the Association for Symbolic Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {299--304},
year = {1975},
url = {https://doi.org/10.2307/2271940},
doi = {10.2307/2271940},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GilmoreMM75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Goldblatt75,
author = {Robert Goldblatt},
title = {First-Order Definability in Modal Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {35--40},
year = {1975},
url = {https://doi.org/10.2307/2272267},
doi = {10.2307/2272267},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Goldblatt75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GoldfarbL75,
author = {Warren D. Goldfarb and
Harry R. Lewis},
title = {Skolem Reduction Classes},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {62--68},
year = {1975},
url = {https://doi.org/10.2307/2272272},
doi = {10.2307/2272272},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/GoldfarbL75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HarringtonK75,
author = {Leo Harrington and
Alexander S. Kechris},
title = {On Characterizing Spector Classes},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {19--24},
year = {1975},
url = {https://doi.org/10.2307/2272264},
doi = {10.2307/2272264},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HarringtonK75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Knight75,
author = {Julia F. Knight},
title = {Types Omitted in Uncountable Models of Arithmetic},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {317--320},
year = {1975},
url = {https://doi.org/10.2307/2272157},
doi = {10.2307/2272157},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Knight75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lachlan75,
author = {Alistair H. Lachlan},
title = {Uniform Enumeration Operations},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {401--409},
year = {1975},
url = {https://doi.org/10.2307/2272164},
doi = {10.2307/2272164},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lachlan75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lake75,
author = {John Lake},
title = {Natural Models and Ackermann-Type Set Theories},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {151--158},
year = {1975},
url = {https://doi.org/10.2307/2271895},
doi = {10.2307/2271895},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lake75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Lynch75,
author = {Nancy A. Lynch},
title = {"Helping": Several Formalizations},
journal = {J. Symb. Log.},
volume = {40},
number = {4},
pages = {555--566},
year = {1975},
url = {https://doi.org/10.2307/2271779},
doi = {10.2307/2271779},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Lynch75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Malitz75,
author = {Jerome I. Malitz},
title = {Complete Theories with Countably many Rigid Nonisomorphic Models},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {389--392},
year = {1975},
url = {https://doi.org/10.2307/2272161},
doi = {10.2307/2272161},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Malitz75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Marques75,
author = {Ivan Marques},
title = {On Degrees of Unsolvability and Complexity Properties},
journal = {J. Symb. Log.},
volume = {40},
number = {4},
pages = {529--540},
year = {1975},
url = {https://doi.org/10.2307/2271777},
doi = {10.2307/2271777},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Marques75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Mckenzie75,
author = {Ralph McKenzie},
title = {On Spectra, and the Negative Solution of the Decision Problem for
Identities having a Finite Nontrivial Model},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {186--196},
year = {1975},
url = {https://doi.org/10.2307/2271899},
doi = {10.2307/2271899},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Mckenzie75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MetakidesP75,
author = {George Metakides and
Jacob Manuel Plotkin},
title = {An Algebraic Characterization of Power Set in Countable Standard Models
of {ZF}},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {167--170},
year = {1975},
url = {https://doi.org/10.2307/2271897},
doi = {10.2307/2271897},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MetakidesP75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Morgan75,
author = {Charles G. Morgan},
title = {Weak Liberated Versions of {T} and {S4}},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {25--30},
year = {1975},
url = {https://doi.org/10.2307/2272265},
doi = {10.2307/2272265},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Morgan75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Myhill75,
author = {John R. Myhill},
title = {Constructive Set Theory},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {347--382},
year = {1975},
url = {https://doi.org/10.2307/2272159},
doi = {10.2307/2272159},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Myhill75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Paola75,
author = {Robert A. Di Paola},
title = {A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {398--400},
year = {1975},
url = {https://doi.org/10.2307/2272163},
doi = {10.2307/2272163},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Paola75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Penk75,
author = {Anna Michaelides Penk},
title = {Two Forms of the Axiom of Choice for an Elementary Topos},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {197--212},
year = {1975},
url = {https://doi.org/10.2307/2271900},
doi = {10.2307/2271900},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Penk75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Powell75,
author = {William C. Powell},
title = {Extending Godel's Negative Interpretation to {ZF}},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {221--229},
year = {1975},
url = {https://doi.org/10.2307/2271902},
doi = {10.2307/2271902},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Powell75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PrikryS75,
author = {Karel Prikry and
Robert Solovay},
title = {On Partitions into Stationary Sets},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {75--80},
year = {1975},
url = {https://doi.org/10.2307/2272274},
doi = {10.2307/2272274},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PrikryS75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Saracino75,
author = {Dan Saracino},
title = {A Counterexample in the Theory of Model Companions},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {31--34},
year = {1975},
url = {https://doi.org/10.2307/2272266},
doi = {10.2307/2272266},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Saracino75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Sasso75,
author = {Leonard P. Sasso Jr.},
title = {A Survey of Partial Degrees},
journal = {J. Symb. Log.},
volume = {40},
number = {2},
pages = {130--140},
year = {1975},
url = {https://doi.org/10.2307/2271892},
doi = {10.2307/2271892},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Sasso75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Schmidt75,
author = {Diana Schmidt},
title = {Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {305--316},
year = {1975},
url = {https://doi.org/10.2307/2272156},
doi = {10.2307/2272156},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Schmidt75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Steel75,
author = {John R. Steel},
title = {Descending Sequences of Degrees},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {59--61},
year = {1975},
url = {https://doi.org/10.2307/2272271},
doi = {10.2307/2272271},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Steel75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Stern75,
author = {Jacques Stern},
title = {A New Look at the Interpolation Problem},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {1--13},
year = {1975},
url = {https://doi.org/10.2307/2272262},
doi = {10.2307/2272262},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Stern75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Thomason75,
author = {Steven K. Thomason},
title = {Categories of Frames for Modal Logic},
journal = {J. Symb. Log.},
volume = {40},
number = {3},
pages = {439--442},
year = {1975},
url = {https://doi.org/10.2307/2272167},
doi = {10.2307/2272167},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Thomason75.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Wilkie75,
author = {Alex Wilkie},
title = {On Models of Arithmetic-Answers to Two Problems Raised by H. Gaifman},
journal = {J. Symb. Log.},
volume = {40},
number = {1},
pages = {41--47},
year = {1975},
url = {https://doi.org/10.2307/2272268},
doi = {10.2307/2272268},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Wilkie75.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-21 01:07 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:
