Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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 
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-24 19:09 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:
