Search dblp for Publications

export results for "stream:streams/conf/logicColl:"

 download as .bib file

@proceedings{DBLP:conf/logicColl/1995,
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/978-3-662-22108-2},
  doi       = {10.1007/978-3-662-22108-2},
  isbn      = {978-3-540-63994-7},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/1995.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/0001SS95,
  author    = {Istv{\'{a}}n Juh{\'{a}}sz and
               Lajos Soukup and
               Zolt{\'{a}}n Szentmikl{\'{o}}ssy},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Combinatorial Principles from Adding Cohen Reals},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {79--103},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_7},
  doi       = {10.1007/978-3-662-22108-2\_7},
  timestamp = {Fri, 15 May 2020 14:19:27 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/0001SS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Becker95,
  author    = {Howard Becker},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {The Number of Path-Components of a Compact Subset of {\(\mathbb{R}\)}
               n},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {1--16},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_1},
  doi       = {10.1007/978-3-662-22108-2\_1},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Becker95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/CholakDS95,
  author    = {Peter Cholak and
               Rod Downey and
               Richard A. Shore},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Intervals Without Critical Triples},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {17--43},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_2},
  doi       = {10.1007/978-3-662-22108-2\_2},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/CholakDS95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Cooper95,
  author    = {S. Barry Cooper},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Beyond G{\"{o}}del's Theorem: Turing Nonrigidity Revisited},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {44--50},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_3},
  doi       = {10.1007/978-3-662-22108-2\_3},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Cooper95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Dawar95,
  author    = {Anuj Dawar},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Types and Indiscernibles in Finite Models},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {51--65},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_4},
  doi       = {10.1007/978-3-662-22108-2\_4},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Dawar95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Herzog95,
  author    = {Ivo Herzog},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Model Theory of Modules},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {66--72},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_5},
  doi       = {10.1007/978-3-662-22108-2\_5},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Herzog95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/HodgesN95,
  author    = {Wilfrid Hodges and
               Andr{\'{e}} Nies},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Noninterpretability of Infinite Linear Orders},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {73--78},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_6},
  doi       = {10.1007/978-3-662-22108-2\_6},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/HodgesN95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Krajicek95,
  author    = {Jan Kraj{\'{\i}}cek},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Extensions of Models of {PV}},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {104--114},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_8},
  doi       = {10.1007/978-3-662-22108-2\_8},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Krajicek95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Lynch95,
  author    = {James F. Lynch},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Convergence Laws for Random Graphs},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {115--133},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_9},
  doi       = {10.1007/978-3-662-22108-2\_9},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Lynch95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Maddy95,
  author    = {Penelope Maddy},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {V=L and Maximize},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {134--152},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_10},
  doi       = {10.1007/978-3-662-22108-2\_10},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Maddy95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Makkai95,
  author    = {Michael Makkai},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Towards a Categorical Foundation of Mathematics},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {153--190},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_11},
  doi       = {10.1007/978-3-662-22108-2\_11},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Makkai95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Marker95,
  author    = {David Marker},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Strongly Minimal Sets and Geometry},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {191--213},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_12},
  doi       = {10.1007/978-3-662-22108-2\_12},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Marker95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Micali95,
  author    = {Silvio Micali},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Computationally-Sound Proofs},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {214--268},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_13},
  doi       = {10.1007/978-3-662-22108-2\_13},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Micali95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Pentus95,
  author    = {Mati Pentus},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Lambek Calculus and Formal Languages},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {269--272},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_14},
  doi       = {10.1007/978-3-662-22108-2\_14},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Pentus95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Peterzil95,
  author    = {Ya'acov Peterzil},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Zil'ber's Trichotomy and o-minimal Structures},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {273--274},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_15},
  doi       = {10.1007/978-3-662-22108-2\_15},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Peterzil95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Rathjen95,
  author    = {Michael Rathjen},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {The Higher Infinite in Proof Theory},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {275--304},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_16},
  doi       = {10.1007/978-3-662-22108-2\_16},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Rathjen95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Shelah95,
  author    = {Saharon Shelah},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {There May Be No Nowhere Dense Ultrafilter},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {305--324},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_17},
  doi       = {10.1007/978-3-662-22108-2\_17},
  timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Shelah95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Stolboushkin95,
  author    = {Alexei P. Stolboushkin},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Towards Recursive Model Theory},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {325--338},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_18},
  doi       = {10.1007/978-3-662-22108-2\_18},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Stolboushkin95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Wainer95,
  author    = {Stanley S. Wainer},
  editor    = {Johann A. Makowsky and
               Elena V. Ravve},
  title     = {Accessible Segments of the Fast Growing Hierarchy},
  booktitle = {Proceedings of the Annual European Summer Meeting of the Association
               of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
               1995},
  series    = {Lecture Notes in Logic},
  volume    = {11},
  pages     = {339--348},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/978-3-662-22108-2\_19},
  doi       = {10.1007/978-3-662-22108-2\_19},
  timestamp = {Fri, 15 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Wainer95.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/logicColl/1985,
  title     = {Logic Colloquium '85, Orsay, France},
  publisher = {Elsevier},
  year      = {1987},
  isbn      = {0-444-70211-3},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/1985.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Ahlbrandt85,
  author    = {Gisela Ahlbrandt},
  title     = {Almost strongly minimal totally categorial theories},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {17--32},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 11 Feb 2015 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Ahlbrandt85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Baudisch85,
  author    = {Andreas Baudisch},
  title     = {On Lascar rank in non-multidimensional omega-stable theories},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {33--52},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Baudisch85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Buechler85,
  author    = {Steven Buechler},
  title     = {"Geometrical" stability theory},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {53--66},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Buechler85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Cherlin85,
  author    = {Gregory L. Cherlin},
  title     = {Homogeneous directed graphs. The imprimitive case},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {67--88},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Cherlin85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/CoquandH85,
  author    = {Thierry Coquand and
               G{\'{e}}rard P. Huet},
  title     = {Concepts math{\'{e}}matiques et informatiques formalis{\'{e}}s
               dans le calcul des constructions},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {123--146},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/CoquandH85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Courcelle85,
  author    = {Bruno Courcelle},
  title     = {Proofs of partial correctness for iterative and recursive computations},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {89--110},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Courcelle85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/FefermanF85,
  author    = {A. Burdman Feferman and
               Solomon Feferman},
  title     = {Jean van Heijenoort {(1912-1986)}},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {1--8},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/FefermanF85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Girard85,
  author    = {Jean{-}Yves Girard},
  title     = {La mouche dans la bouteille},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {9--12},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Sat, 30 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Girard85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Heijenoort85,
  author    = {Jean van Heijenoort},
  title     = {Syst{\`{e}}me et M{\'{e}}tasyst{\`{e}}me chez Russell},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {111--122},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Heijenoort85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/HrushovskiP85,
  author    = {U. Hrushovski and
               Anand Pillay},
  title     = {Weakly normal groups},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {233--244},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/HrushovskiP85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Isaacson85,
  author    = {D. Isaacson},
  title     = {Arithmetical truth and hidden higher-order concepts},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {147--170},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Isaacson85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Jaeger85,
  author    = {Gerhard J{\"{a}}ger},
  title     = {Some proof-theoretic contributions to theories of sets},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {171--192},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Jaeger85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Manders85,
  author    = {Kenneth L. Manders},
  title     = {Logic and conceptual relationships in mathematics},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {193--212},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Manders85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Pappinghaus85,
  author    = {Peter P{\"{a}}ppinghaus},
  title     = {Pi\({}_{\mbox{2}}\)-models of extensions of Kripke-Platek set theory},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {213--232},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Pappinghaus85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Poizat85,
  author    = {Bruno Poizat},
  title     = {A propos de groues stables},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {245--266},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Poizat85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Rouilhan85,
  author    = {Philippe de Rouilhan},
  title     = {Jean van Heijenoort},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {13--16},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Tue, 09 Apr 2013 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/logicColl/Rouilhan85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Roy85,
  author    = {Marie{-}Fran{\c{c}}oise Roy},
  title     = {Logique et g{\'{e}}om{\'{e}}trie alg{\'{e}}brique r{\'{e}}elle},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {267--280},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Roy85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Scedrov85,
  author    = {Andre Scedrov},
  title     = {Some aspects of categorial semantics: sheves and glueing},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {281--302},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Scedrov85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Schmerl85,
  author    = {Ulf R. Schmerl},
  title     = {Crit{\`{e}}res d'ind{\'{e}}pendence d'{\'{e}}quations diophantiennes
               de fragments de l'alrithm{\'{e}}tique},
  booktitle = {Logic Colloquium '85, Orsay, France},
  pages     = {303},
  publisher = {Elsevier},
  year      = {1985},
  timestamp = {Wed, 03 Mar 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/logicColl/Schmerl85.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics