Search dblp for Publications

export results for "stream:conf/model:"

 download as .bib file

@inproceedings{DBLP:conf/model/Basarab89,
  author       = {Serban A. Basarab},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Morgan-Shalen Compactification of affine algebraic varieties over
                  local fields},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {4--17},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 16:55:25 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Basarab89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Baudisch89,
  author       = {Andreas Baudisch},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {On Superstable Groups},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {18--42},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Baudisch89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Belegradek89,
  author       = {Oleg V. Belegradek},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {On the Mal'cev Correspondence between Rings and Groups},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {43--57},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Belegradek89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/BouscarenH89,
  author       = {Elisabeth Bouscaren and
                  Ehud Hrushovski},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Classification Theory, n-Tuples of Models and Finite Determinacy},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {58--66},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/BouscarenH89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Dahn89,
  author       = {Bernd I. Dahn},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {On Test Classes for Universal Theories},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {67--74},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Dahn89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/DahnL89,
  author       = {Bernd I. Dahn and
                  Wolfgang Lenski},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Universally Generic Ordered Abelian Groups with Two Generators},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {75--80},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/DahnL89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Dix89,
  author       = {J{\"{u}}rgen Dix},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Some Tendencies in Non-monotonic Reasoning: 1. The main Approaches},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {81--105},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Dix89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Goode89,
  author       = {John B. Goode},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Hrushovski's Geometries},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {106--117},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Goode89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Heindorf89,
  author       = {Lutz Heindorf},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Clop(lambdaX) as semigroup algebra},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {118--126},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Heindorf89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Kuhnrich89,
  author       = {M. K{\"{u}}hnrich},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {On Boolean Differential Algebras},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {127--136},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Kuhnrich89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Lenski89,
  author       = {Wolfgang Lenski},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {On Characterization of Quantifier Eliminable Ordered Abelian Groups},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {137--172},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Lenski89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Macpherson89,
  author       = {H. D. Macpherson},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Universal Closed Permutation Groups},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {173--176},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Macpherson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/NesinP89,
  author       = {Ali Nesin and
                  Anand Pillay},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Open Subgroups of GL\({}_{\mbox{2}}\)(Q\({}_{\mbox{p}}\))},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {177--188},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/NesinP89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Sochor89,
  author       = {Anton{\'{\i}}n Sochor},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Submodels Satisfying ZF\({}_{\mbox{Fin}}\)},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {189--198},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Sochor89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Wilson89,
  author       = {J. Wilson},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Groups Elementarily Equivalent to Polycyclic Groups},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {199--203},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Wilson89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/model/Zilber89,
  author       = {B. Zil'ber},
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Some Remarks on Model Theory of Algebraically Closed Fields},
  booktitle    = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  pages        = {204},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/Zilber89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/model/1989,
  editor       = {Ingo Dahn and
                  Helmut Wolter},
  title        = {Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz,
                  Germany, March 27-31, 1989},
  series       = {Mathematik, Seminarbericht},
  volume       = {104},
  publisher    = {Humboldt-Universit{\"{a}}t Berlin},
  year         = {1989},
  timestamp    = {Thu, 01 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/model/1989.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}