Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bruno Poizat
@article{DBLP:journals/jsyml/Poizat21,
author = {Bruno Poizat},
title = {Sym{\'{e}}Tries et Transvexions, Principalement dans les groupes
de rang de Morley fini sans involutions},
journal = {J. Symb. Log.},
volume = {86},
number = {3},
pages = {965--990},
year = {2021},
url = {https://doi.org/10.1017/jsl.2021.36},
doi = {10.1017/JSL.2021.36},
timestamp = {Thu, 13 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lu/PoizatY18,
author = {Bruno Poizat and
Aibat Yeshkeyev},
title = {Positive Jonsson Theories},
journal = {Logica Universalis},
volume = {12},
number = {1-2},
pages = {101--127},
year = {2018},
url = {https://doi.org/10.1007/s11787-018-0185-8},
doi = {10.1007/S11787-018-0185-8},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lu/PoizatY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat13,
author = {Bruno Poizat},
title = {Centralisateurs g{\'{e}}n{\'{e}}riques},
journal = {J. Symb. Log.},
volume = {78},
number = {1},
pages = {290--306},
year = {2013},
url = {https://doi.org/10.2178/jsl.7801200},
doi = {10.2178/JSL.7801200},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BagheriPP10,
author = {Seyed Mohammad Bagheri and
Bruno Poizat and
Massoud Pourmahdian},
title = {An arithmetical view to first-order logic},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {745--755},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.006},
doi = {10.1016/J.APAL.2009.06.006},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/BagheriPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Poizat10,
author = {Bruno Poizat},
title = {Quelques effets pervers de la positivit{\'{e}}},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {812--816},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.012},
doi = {10.1016/J.APAL.2009.06.012},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Poizat10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat10,
author = {Bruno Poizat},
title = {Groups of small Cantor rank},
journal = {J. Symb. Log.},
volume = {75},
number = {1},
pages = {346--354},
year = {2010},
url = {https://doi.org/10.2178/jsl/1264433925},
doi = {10.2178/JSL/1264433925},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat08,
author = {Bruno Poizat},
title = {A la recherche de la definition de la complexite d'espace pour le
calcul des polynomes a la maniere de Valiant},
journal = {J. Symb. Log.},
volume = {73},
number = {4},
pages = {1179--1201},
year = {2008},
url = {https://doi.org/10.2178/jsl/1230396913},
doi = {10.2178/JSL/1230396913},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/YaacovP07,
author = {Ita{\"{\i}} Ben Yaacov and
Bruno Poizat},
title = {Fondements de la logique positive},
journal = {J. Symb. Log.},
volume = {72},
number = {4},
pages = {1141--1162},
year = {2007},
url = {https://doi.org/10.2178/jsl/1203350777},
doi = {10.2178/JSL/1203350777},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/YaacovP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat06,
author = {Bruno Poizat},
title = {Univers positifs},
journal = {J. Symb. Log.},
volume = {71},
number = {3},
pages = {969--976},
year = {2006},
url = {https://doi.org/10.2178/jsl/1154698585},
doi = {10.2178/JSL/1154698585},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/QueirozPA05,
author = {Ruy J. G. B. de Queiroz and
Bruno Poizat and
Sergei N. Art{\"{e}}mov},
title = {WoLLIC'2002},
journal = {Ann. Pure Appl. Log.},
volume = {134},
number = {1},
pages = {1--4},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.015},
doi = {10.1016/J.APAL.2004.10.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/QueirozPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/ChapuisHKP02,
author = {Olivier Chapuis and
Ehud Hrushovski and
Pascal Koiran and
Bruno Poizat},
title = {La Limite des Theories de Courbes Generiques},
journal = {J. Symb. Log.},
volume = {67},
number = {1},
pages = {24--34},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150027},
doi = {10.2178/JSL/1190150027},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/ChapuisHKP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat01,
author = {Bruno Poizat},
title = {Quelques Modestes Remarques {A} Propos D'Une Cons{\'{e}}quence
Inattendue D'Un R{\'{e}}sultat Surprenant de Monsieur Frank Olaf
Wagner},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1637--1646},
year = {2001},
url = {https://doi.org/10.2307/2694966},
doi = {10.2307/2694966},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat01a,
author = {Bruno Poizat},
title = {L'{\'{E}}galit{\'{e}} au Cube},
journal = {J. Symb. Log.},
volume = {66},
number = {4},
pages = {1647--1676},
year = {2001},
url = {https://doi.org/10.2307/2694967},
doi = {10.2307/2694967},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PoizatW00,
author = {Bruno Poizat and
Frank O. Wagner},
title = {Liftez Les Sylows! Une Suite {\`{A}} "Sous-Groupes P{\'{e}}riodiques
D'Un Groupe Stable"},
journal = {J. Symb. Log.},
volume = {65},
number = {2},
pages = {703--704},
year = {2000},
url = {https://doi.org/10.2307/2586563},
doi = {10.2307/2586563},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PoizatW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Poizat00,
author = {Bruno Poizat},
editor = {Peter Clote and
Helmut Schwichtenberg},
title = {Une tentative malheureuse do construire une structure {\'{e}}liminant
rapidement les quanteurs},
booktitle = {Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau,
Germany, August 21-26, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1862},
pages = {61--70},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44622-2\_4},
doi = {10.1007/3-540-44622-2\_4},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Poizat00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat99,
author = {Bruno Poizat},
title = {Le Carre De L'Egalite},
journal = {J. Symb. Log.},
volume = {64},
number = {3},
pages = {1339--1355},
year = {1999},
url = {https://doi.org/10.2307/2586634},
doi = {10.2307/2586634},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BaisalovP98,
author = {Yerzhan Baisalov and
Bruno Poizat},
title = {Paires de Structures O-Minimales},
journal = {J. Symb. Log.},
volume = {63},
number = {2},
pages = {570--578},
year = {1998},
url = {https://doi.org/10.2307/2586850},
doi = {10.2307/2586850},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BaisalovP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayP95,
author = {Anand Pillay and
Bruno Poizat},
title = {Corps et Chirurgie},
journal = {J. Symb. Log.},
volume = {60},
number = {2},
pages = {528--533},
year = {1995},
url = {https://doi.org/10.2307/2275848},
doi = {10.2307/2275848},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PillayP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/PoizatM95,
author = {Bruno Poizat and
Tolende G. Mustafin},
title = {Polygones},
journal = {Math. Log. Q.},
volume = {41},
pages = {93--110},
year = {1995},
url = {https://doi.org/10.1002/malq.19950410109},
doi = {10.1002/MALQ.19950410109},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/PoizatM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PoizatW93,
author = {Bruno Poizat and
Frank O. Wagner},
title = {Sous-Groupes Periodiques d'un Groupe Stable},
journal = {J. Symb. Log.},
volume = {58},
number = {2},
pages = {385--400},
year = {1993},
url = {https://doi.org/10.2307/2275211},
doi = {10.2307/2275211},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PoizatW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BorovikP90,
author = {Alexandre V. Borovik and
Bruno Poizat},
title = {Tores et p-Groupes},
journal = {J. Symb. Log.},
volume = {55},
number = {2},
pages = {478--491},
year = {1990},
url = {https://doi.org/10.2307/2274641},
doi = {10.2307/2274641},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/BorovikP90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat89,
author = {Bruno Poizat},
title = {Generix Strikes Again},
journal = {J. Symb. Log.},
volume = {54},
number = {3},
pages = {847--857},
year = {1989},
url = {https://doi.org/10.2307/2274746},
doi = {10.2307/2274746},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat88,
author = {Bruno Poizat},
title = {{MM.} Borel, Tits, Zil'ber et le General Nonsense},
journal = {J. Symb. Log.},
volume = {53},
number = {1},
pages = {124--131},
year = {1988},
url = {https://doi.org/10.1017/S0022481200028978},
doi = {10.1017/S0022481200028978},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat88a,
author = {Bruno Poizat},
title = {Missionary Mathematics},
journal = {J. Symb. Log.},
volume = {53},
number = {1},
pages = {132--145},
year = {1988},
url = {https://doi.org/10.1017/S002248120002898X},
doi = {10.1017/S002248120002898X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat88a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/BouscarenP88,
author = {Elisabeth Bouscaren and
Bruno Poizat},
title = {Des Belles Paires aux Beaux Uples},
journal = {J. Symb. Log.},
volume = {53},
number = {2},
pages = {434--442},
year = {1988},
url = {https://doi.org/10.1017/S0022481200028383},
doi = {10.1017/S0022481200028383},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/BouscarenP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/PillayP87,
author = {Anand Pillay and
Bruno Poizat},
title = {Pas D'Imaginaires Dans L'Infini!},
journal = {J. Symb. Log.},
volume = {52},
number = {2},
pages = {400--403},
year = {1987},
url = {https://doi.org/10.2307/2274390},
doi = {10.2307/2274390},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/PillayP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat86,
author = {Bruno Poizat},
title = {L = {N} L?},
journal = {J. Symb. Log.},
volume = {51},
number = {1},
pages = {22--32},
year = {1986},
url = {https://doi.org/10.2307/2273938},
doi = {10.2307/2273938},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat86a,
author = {Bruno Poizat},
title = {Attention a la Marche!},
journal = {J. Symb. Log.},
volume = {51},
number = {3},
pages = {570--585},
year = {1986},
url = {https://doi.org/10.2307/2274014},
doi = {10.2307/2274014},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat86b,
author = {Bruno Poizat},
title = {A L'Ouest D'Eden},
journal = {J. Symb. Log.},
volume = {51},
number = {3},
pages = {795--816},
year = {1986},
url = {https://doi.org/10.2307/2274033},
doi = {10.2307/2274033},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat86b.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 15:02:16 +0100},
biburl = {https://dblp.org/rec/conf/logicColl/Poizat85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat84,
author = {Bruno Poizat},
title = {Deux Remarques a Propos de la Propriete de Recouvrement Fini},
journal = {J. Symb. Log.},
volume = {49},
number = {3},
pages = {803--807},
year = {1984},
url = {https://doi.org/10.2307/2274132},
doi = {10.2307/2274132},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/Poizat84,
author = {Bruno Poizat},
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {Generic Oracles (Abstract)},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {181},
pages = {380},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8\_85},
doi = {10.1007/3-540-13883-8\_85},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/Poizat84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat83,
author = {Bruno Poizat},
title = {Post-Scriptum {\`{A}} "Th{\'{e}}ories Instables"},
journal = {J. Symb. Log.},
volume = {48},
number = {1},
pages = {60--62},
year = {1983},
url = {https://doi.org/10.2307/2273320},
doi = {10.2307/2273320},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat83a,
author = {Bruno Poizat},
title = {Paires de Structures Stables},
journal = {J. Symb. Log.},
volume = {48},
number = {2},
pages = {239--249},
year = {1983},
url = {https://doi.org/10.2307/2273543},
doi = {10.2307/2273543},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat83b,
author = {Bruno Poizat},
title = {Groupes Stables, Avec Types Generiques Reguliers},
journal = {J. Symb. Log.},
volume = {48},
number = {2},
pages = {339--355},
year = {1983},
url = {https://doi.org/10.2307/2273551},
doi = {10.2307/2273551},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat83b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat83c,
author = {Bruno Poizat},
title = {Une Theorie de Galois Imaginaire},
journal = {J. Symb. Log.},
volume = {48},
number = {4},
pages = {1151--1170},
year = {1983},
url = {https://doi.org/10.2307/2273680},
doi = {10.2307/2273680},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat83c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat82,
author = {Bruno Poizat},
title = {Deux Ou Trois Choses Que je Sais de L\({}_{\mbox{n}}\)},
journal = {J. Symb. Log.},
volume = {47},
number = {3},
pages = {641--658},
year = {1982},
url = {https://doi.org/10.2307/2273594},
doi = {10.2307/2273594},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat81,
author = {Bruno Poizat},
title = {Sous-Groupes Definissables d'Un Groupe Stable},
journal = {J. Symb. Log.},
volume = {46},
number = {1},
pages = {137--146},
year = {1981},
url = {https://doi.org/10.2307/2273265},
doi = {10.2307/2273265},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Poizat81a,
author = {Bruno Poizat},
title = {Theories Instables},
journal = {J. Symb. Log.},
volume = {46},
number = {3},
pages = {513--522},
year = {1981},
url = {https://doi.org/10.2307/2273753},
doi = {10.2307/2273753},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Poizat81a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Poizat81,
author = {Bruno Poizat},
title = {Th{\'{e}}Orie de Galois pour les ALG{\`{e}}Bres de Post Infinitaires},
journal = {Math. Log. Q.},
volume = {27},
number = {2-6},
pages = {31--44},
year = {1981},
url = {https://doi.org/10.1002/malq.19810270204},
doi = {10.1002/MALQ.19810270204},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Poizat81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/LascarP79,
author = {Daniel Lascar and
Bruno Poizat},
title = {An Introduction to Forking},
journal = {J. Symb. Log.},
volume = {44},
number = {3},
pages = {330--350},
year = {1979},
url = {https://doi.org/10.2307/2273127},
doi = {10.2307/2273127},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/LascarP79.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Poizat78,
author = {Bruno Poizat},
title = {Etude D'Un Forcing en Th{\'{e}}orie des Mod{\`{e}}les},
journal = {Math. Log. Q.},
volume = {24},
number = {19-24},
pages = {347--356},
year = {1978},
url = {https://doi.org/10.1002/malq.19780241910},
doi = {10.1002/MALQ.19780241910},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Poizat78.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.
last updated on 2024-04-21 17:58 CEST 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:
